Accession Number : AD0712460

Title :   SEMANTICS OF ALGOL-LIKE STATEMENTS,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : Igarashi,Shigeru

Report Date : JUN 1970

Pagination or Media Count : 96

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 :   (*PROGRAMMING LANGUAGES, SEMANTICS), ALGORITHMS, SYNTAX, MATHEMATICAL LOGIC, COMPILERS, ARTIFICIAL INTELLIGENCE

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE