Two-level semantics and code generation
- 31 December 1988
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 56 (1) , 59-133
- https://doi.org/10.1016/0304-3975(86)90006-x
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Definable operations in general algebras, and the theory of automata and flowchartsPublished by Springer Nature ,2006
- Using domain algebras to prove the correctness of a compilerPublished by Springer Nature ,2005
- Denotational semantics: By D.A. Schmidt. Prentice-Hall, London, 1986, Price £15.95, ISBN 0 205 10450 9Science of Computer Programming, 1988
- Control Flow Aspects of Semantics-Directed CompilingACM Transactions on Programming Languages and Systems, 1983
- Deriving Target Code as a Representation of Continuation SemanticsACM Transactions on Programming Languages and Systems, 1982
- Denotational semantics as a specification of code generatorsACM SIGPLAN Notices, 1982
- Domains for denotational semanticsPublished by Springer Nature ,1982
- An order-algebraic definition of knuthian semanticsTheory of Computing Systems, 1979
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Threaded codeCommunications of the ACM, 1973