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 ...