More on advice on structuring compilers and proving them correct☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
An earlier version of this paper appears in Proceedings, Sixth International Colloquium on Automata, Languages and Programming, Graz, Austria, July, 1979, pp. 596–615. Another version will appear in Proceedings, Workshop on Semantics Directed Compiler Generation, Aarhus University, Aarhus, Denmark.
Copyright © 1981 Published by Elsevier B.V.