postconditions
nounUK /ˌpəʊstkənˈdɪʃənz/
US /ˌpoʊstkənˈdɪʃənz/
Things that must be true after a piece of work is finished.
The programmer checked the postconditions to make sure the program worked correctly.
OTHER MEANINGS
2. In computer science, the guarantees a function promises to deliver once it finishes running.
The function's postconditions state that the returned list is always sorted.
3. In project planning, the agreed results that must exist when a task is complete.
The team reviewed the postconditions before signing off on the project.
4. In logic and formal methods, statements that describe the state of a system after an action occurs.
The proof used postconditions to show the loop ended with the correct total.