CORRECTNESS OF A COMPILER FOR

ARITHMETIC EXPRESSIONS

John McCARTHY and James PAINTER

1967

Publié dans  Mathematical Aspect of Computer Science 1

                    Volume 19 de Proceeding of Symposia in Applied Mathematics

          par  l'American Mathematical Society