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) : McCarthy,John ; Painter,James

Report Date : 29 APR 1966

Pagination or Media Count : 15

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

Descriptors :   (*COMPILERS, PROBLEM SOLVING), (*COMPUTER PROGRAMMING, MATHEMATICS), ALGORITHMS, SYNTAX, SEMANTICS, THEOREMS

Subject Categories : Theoretical Mathematics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE