postcondition
postcondition 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.
More From encyclopedia.com
precondition , pre·con·di·tion / ˌprēkənˈdishən/ • n. a condition that must be fulfilled before other things can happen or be done: a precondition for peace. • v. [… Edison , Edison A programming language for designing reliable real-time programs for multiprocessor systems. Edison is block-structured and includes modules,… Computer Program , pro·gram / ˈprōˌgram; -grəm/ (Brit. pro·gramme) • n. 1. a planned series of future events, items, or performances: a weekly program of films the prog… Axiomatic Semantics , axiomatic •achromatic, acrobatic, Adriatic, aerobatic, anagrammatic, aquatic, aristocratic, aromatic, Asiatic, asthmatic, athematic, attic, autocrati… statement , state·ment / ˈstātmənt/ • n. a definite or clear expression of something in speech or writing: do you agree with this statement? this is correct as a… Assert , Skip to main content
assert
as·sert / əˈsərt/ • v. [tr.] state a fact or belief confidently and forcefully: the company asserts that the cuts will no…
You Might Also Like
NEARBY TERMS
postcondition