Next:
Introduction
CORRECTNESS OF A COMPILER FOR ARITHMETIC EXPRESSIONS
JOHN McCARTHY and JAMES PAINTER
1967
Introduction
The source language
The object language.
The compiler
Proof of Theorem 1.
Remarks
References
About this document ...
John McCarthy
Wed Sep 29 13:40:01 PDT 1999