postcondition

English

Alternative forms

Etymology

From post- +‎ condition.

Noun

postcondition (plural postconditions)

  1. (programming) A condition that must be met immediately after execution of some piece of code.
    Antonym: precondition

Derived terms