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
Descriptors:
Subject Categories:
- Computer Programming and Software
- Computer Hardware