Next:
Performance Analysis
Up:
Definitions
Previous:
Testing versus Proving
Pre- and Post-Conditions
Give a structural inductive definition for pre- and post-conditions.
Steve Stevenson
Wed Feb 26 10:54:45 EST 1997
