Accession Number:

AD0662880

Title:

CORRECTNESS OF A COMPILER FOR ARITHMETIC EXPRESSIONS.

Descriptive Note:

Technical rept.,

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1966-04-29

Pagination or Media Count:

15.0

Abstract:

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

Subject Categories:

  • Theoretical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE