SEMANTICS OF ALGOL-LIKE STATEMENTS,
Abstract
The semantics of elementary Algol-like statements is discussed, mainly based on an axiomatic method. Firstly, a class of Algol-like statements is introduced by generalized inductive definition, and the interpretation of the statements belonging to it is defined in the form of a function over this class, using the induction principle induced by the above definition. Then a category of program is introduced in order to clarify the concept of equivalence of statements, which becomes a special case of isomorphism in that category. A revised formal system representing the concept of equivalence of Algol-like statements is presented, followed by elementary metatheorems. Finally, a process of decomposition of Algol-like statements, which can be regarded as a conceptual compiler, or a constructive description of semantics based on primitive actions, is defined and its correctness is proved formally, by the help of the induced induction principle. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1970
- Accession Number
- AD0712460
Entities
People
- Shigeru Igarashi
Organizations
- Stanford University