next up previous
Next: Introduction

CORRECTNESS OF A COMPILER FOR ARITHMETIC EXPRESSIONS

JOHN McCARTHY and JAMES PAINTER

1967





John McCarthy
Wed Sep 29 13:40:01 PDT 1999