Show Summary Details

Quick Reference

Of a statement S in some program. An assertion that characterizes the state of the program immediately after execution of S. The postcondition is expressed in terms of properties of certain program variables and relationships between them. Where a program text is annotated by attaching assertions, a postcondition is attached immediately after the statement to which it relates. See also precondition.

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.