A formalism for translator interactions
- 1 October 1970
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 13 (10), 607-617
- https://doi.org/10.1145/355598.362740
Abstract
A formalism is presented for describing the actions of processors for programming languages—compilers, interpreters, assemblers—and their interactions in complex systems such as compiler-compilers or extendible languages. The formalism here might be used to define and answer such a question as “Can one do bootstrapping using a metacompiler whose metaphase is interpretive?” In addition an algorithm is presented for deciding whether or not a given system can be produced from a given set of component processors.Keywords
This publication has 4 references indexed in Scilit:
- A Formalism for Program TranslationJournal of the ACM, 1968
- A formal semantics for computer languages and its application in a compiler-compilerCommunications 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