Correctness of procedure representations in higher-order assembly language
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 294-311
- https://doi.org/10.1007/3-540-55511-0_15
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Making abstract machines less abstractPublished by Springer Nature ,1991
- Higher-order abstract syntaxPublished by Association for Computing Machinery (ACM) ,1988
- Representation independence and data abstractionPublished by Association for Computing Machinery (ACM) ,1986
- Detecting global variables in denotational specificationsACM Transactions on Programming Languages and Systems, 1985
- 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
- What is a model of the lambda calculus?Information and Control, 1982
- The congruence of two programming language definitionsTheoretical Computer Science, 1981
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975