Correctness of a Compiler for ALGOL-Like Programs,

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)

Document Details

Document Type
Technical Report
Publication Date
Jul 19, 1967
Accession Number
AD0785168

Entities

People

  • Donald M. Kaplan

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Compilers
  • Computer Languages
  • Computer Science
  • Formal Languages
  • Language
  • Linguistics
  • Machine Languages
  • Semantics
  • Words (Language)

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Graph Algorithms and Convex Optimization.
  • Parallel and Distributed Computing.