postcondition

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Etymology

[edit]

post- +‎ condition

Noun

[edit]

postcondition (plural postconditions)

English Wikipedia has an article on:
Wikipedia
  1. (programming) A condition that must be met immediately after execution of some piece of code.

See also

[edit]