Postcondition meaning

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

Origin of postcondition