Accession Number:

AD0785168

Title:

Correctness of a Compiler for ALGOL-Like Programs,

Descriptive Note:

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1967-07-19

Pagination or Media Count:

49.0

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE