Correctness of a compiler for arithmetic expressions

• 1 January 1967
• other
• Published by American Mathematical Society (AMS) in Proceedings of Symposia in Applied Mathematics
• Vol. 19, 33-41
• https://doi.org/10.1090/psapm/019/0242403

Abstract