A Formalism for Program Translation
- 1 April 1968
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 15 (2) , 165-175
- https://doi.org/10.1145/321450.321451
Abstract
A formalism for representing sequences or networks of program translations and compiler translations is described. The formalism is shown to be capable of (a) concisely and clearly representing the overall tasks of assemblers and preprocessors, (b) checking for similarities or equivalences among translation networks, and (c) reducing translation networks to smaller entities.Keywords
This publication has 3 references indexed in Scilit:
- Toward a publications policy for ACMCommunications of the ACM, 1966
- A alternate form of the “UNCOL diagram”Communications of the ACM, 1961
- The problem of programming communication with changing machinesCommunications of the ACM, 1958