
Accession Number : AD0712460
Title : SEMANTICS OF ALGOLLIKE 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 Algollike statements is discussed, mainly based on an axiomatic method. Firstly, a class of Algollike 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 Algollike statements is presented, followed by elementary metatheorems. Finally, a process of decomposition of Algollike 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