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):

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

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE