Accession Number : AD0738568

Title :   Correctness of Two Compilers for a Lisp Subset,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : London,Ralph L.

Report Date : OCT 1971

Pagination or Media Count : 43

Abstract : Using mainly structural induction, proofs of correctness of each of two running Lisp compilers for the PDP-10 computer are given. Indluded are the rationale for presenting these proofs, a discussion of the proofs, and the changes needed to the second compiler to complete its proof. (Author)

Descriptors :   (*COMPILERS, CORRECTIONS), PROGRAMMING LANGUAGES, CODING, SHIFT REGISTERS, RECURSIVE FUNCTIONS, THEOREMS

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE