postcondition (English, noun)
expansion: postcondition (plural postconditions)
Senses:
topics: computing
engineering
mathematics
natural-sciences
physical-sciences
programming
sciences
glosses: A condition that must be met immediately after execution of some piece of code.
Forms:
form: postconditions
tags: plural