Accession Number : AD0785168

Title :   Correctness of a Compiler for ALGOL-Like Programs,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : Kaplan,Donald M.

Report Date : 19 JUL 1967

Pagination or Media Count : 49

Abstract : A compiling algorithm is given which maps a class of ALGOL-like programs into a class of machine language program. The semantics, i.e., the effect of execution, of each class if specified, and recursion induction used to prove that program semantics is preserved under the mapping defined by the compiling algorithm. (Author)

Descriptors :   *Computer programming, *Compilers, Syntax, Boolean algebra, Recursive functions, Programming languages, Theorems

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE