Accession Number:

AD0738568

Title:

Correctness of Two Compilers for a Lisp Subset,

Descriptive Note:

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s):

• London,Ralph L.

Report Date:

1971-10-01

Pagination or Media Count:

43.0

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