postcondition
nounEtymology From post- + condition.
1
Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Programming, Sciences A condition that must be met immediately after execution of some piece of code.
- Derived terms
- postconditional