Execution vs Postcondition - What's the difference?
execution | postcondition |
The act, manner or style of executing (actions, maneuvers, performances).
*
The state of being executed (accomplished).
The act of putting to death or being put to death as a penalty, or actions so associated.
(legal) The carrying into effect of a court judgment, or of a will.
(legal) The formal process by which a contract is made valid and put into binding effect.
(computing) The carrying out of an instruction, program or program segment by a computer.
(computing, programming) A condition that must be met immediately after execution of some piece of code.
As nouns the difference between execution and postcondition
is that execution is the act, manner or style of executing (actions, maneuvers, performances) while postcondition is a condition that must be met immediately after execution of some piece of code.execution
English
Noun
(en noun)- The battle plan was successfully executed .
- The entire machine slowed down during the execution of the virus checker .
- Whenever the matrix inversion function executed the program crashed.