The AI-powered English dictionary
plural postconditions
(programming) A condition that must be met immediately after execution of some piece of code. examples