Definify.com

Definition 2025

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