McCarthy, John; Painter, James Correctness of a compiler for arithmetic expressions. (English) Zbl 0183.19201 Proc. Sympos. Appl. Math. 19, 33-41 (1967). Reviewer: W. Issel Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 21 Documents MSC: 68N20 Theory of compilers and interpreters Keywords:computer science and automata PDF BibTeX XML OpenURL