LCS Publication Details
Publication Title: AXIOMATIC DEFINITIONS OF PROGRAMMING LANGUAGES: A THEORETICAL ASSESSMENT
Publication Author: Meyer, Albert M.
Additional Authors: Halpen, Joseph Y.
LCS Document Number: MIT-LCS-TM-163
Publication Date: 4-1-1980
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
A precise definition is given of how partial correctness or termination assertions serve to define the semantics of classes of program schemes. Assertions involving only formulas of first order predicate calculus are proved capable of defining program scheme semantics, and effective axiom systems for deriving such assertions are described. Such axiomatic definitions are possible despite the limited expressive power predicate calculus.
To obtain this publication:

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