Control Flow Aspects of Semantics-Directed Compiling
- 1 October 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 5 (4) , 554-595
- https://doi.org/10.1145/69575.357227
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- Deriving Target Code as a Representation of Continuation SemanticsACM Transactions on Programming Languages and Systems, 1982
- Circular expressions: elimination of static environmentsScience of Computer Programming, 1982
- More on advice on structuring compilers and proving them correctTheoretical Computer Science, 1981
- The Design and Application of a Retargetable Peephole OptimizerACM Transactions on Programming Languages and Systems, 1980
- Automatic Derivation of Code Generators from Machine DescriptionsACM Transactions on Programming Languages and Systems, 1980
- The UNIX™ programming environmentSoftware: Practice and Experience, 1979
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- The denotational semantics of programming languagesCommunications of the ACM, 1976
- Automatic generation of efficient lexical processors using finite state techniquesCommunications of the ACM, 1968
- Translator writing systemsCommunications of the ACM, 1968