BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-71-240
       ENTRY:: November 01, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Correctness of two compilers for a Lisp subset
        TYPE:: Technical Report
      AUTHOR:: London, Ralph L.
        DATE:: October 1971
       PAGES:: 50
    ABSTRACT:: Using mainly structural induction, proofs of correctness of
               each of two running Lisp compilers for the PDP-10 computer
               are given. Included are the rationale for presenting these
               proofs, a discussion of the proofs, and the changes needed to
               the second compiler to complete its proof.
       NOTES:: [Adminitrivia V1/Prg/19951101]
         END:: STAN//CS-TR-71-240