LCS Publication Details
Publication Title: SPECIFYING THE SEMANTICS OF WHILE-PROGRAMS: A TUTORIAL AND CRITIQUE OF A PAPER BY HOARE AND LAUER
Publication Author: Greif, Irene
Additional Authors: Meyer, Albert R.
LCS Document Number: MIT-LCS-TM-130
Publication Date: 4-1-1979
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
We consider three kinds of mathematical objects which can be designated as the "meaning" or "semantics" of programs: binary relations between initial and final states, binary relations on predicates (partial-correctness semantics), and functionals from predicates to predicates (predicate transformers). We exhibit various formal specification mechanisms: induction on program syntax, axioms, and deductive systems.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.