Definify.com

Definition 2024

postcondition

postcondition

English

Noun

postcondition ‎(plural postconditions)

(computing, programming) A condition that must be met immediately after execution of some piece of code.

See also

precondition