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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE