CORRECTNESS OF A COMPILER FOR ARITHMETIC EXPRESSIONS.

Abstract

The paper contains a proof of the correctness of a simple compiling algorithm for compiling arithmetic expressions into machine language.

Document Details

Document Type
Technical Report
Publication Date
Apr 29, 1966
Accession Number
AD0662880

Entities

People

  • James Painter
  • John McCarthy

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Arithmetic
  • Compilers
  • Computer Languages
  • Computer Programs
  • Computer Science
  • Computers
  • Formal Languages
  • Language
  • Machine Languages

Fields of Study

  • Computer science