Accession Number:
AD0712460
Title:
SEMANTICS OF ALGOL-LIKE STATEMENTS,
Descriptive Note:
Corporate Author:
STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE
Personal Author(s):
Report Date:
1970-06-01
Pagination or Media Count:
96.0
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
Descriptors:
Subject Categories:
- Computer Programming and Software