1993
DOI: 10.1145/173262.155113
|View full text |Cite
|
Sign up to set email alerts
|

The essence of compiling with continuations

Abstract: In order to simplify the compilation process, many compilers for higher-order languages use the continuation-

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

1
201
0

Year Published

1999
1999
2013
2013

Publication Types

Select...
8

Relationship

0
8

Authors

Journals

citations
Cited by 198 publications
(202 citation statements)
references
References 11 publications
1
201
0
Order By: Relevance
“…We think that our axioms are reasonably simple, and we expect they can be a practical tool for reasoning about call-by-value programs involving recursion, just in the same way as the equational theory of the computational lambda calculus is the theoretical basis of the theory of A-normal forms [16,6].…”
Section: Conclusion and Further Workmentioning
confidence: 99%
See 1 more Smart Citation
“…We think that our axioms are reasonably simple, and we expect they can be a practical tool for reasoning about call-by-value programs involving recursion, just in the same way as the equational theory of the computational lambda calculus is the theoretical basis of the theory of A-normal forms [16,6].…”
Section: Conclusion and Further Workmentioning
confidence: 99%
“…Continuation-Passing Style translation into the λβη-calculus [16] and has been proved useful for reasoning about call-by-value programs. In particular, it can be seen as the theoretical backbone of (the typed version of) the theory of A-normal forms [6], which enables us to optimise call-by-value programs directly without performing the CPS translation.…”
Section: The Call-by-value Calculimentioning
confidence: 99%
“…Note that the grammar insists that, e.g., in an application, both the function and the arguments are values, analogously when acquiring a lock, etc. This form of representation is known as a-normal form [11].…”
Section: Calculusmentioning
confidence: 99%
“…3. To simplify the presentation we have restricted to the A-normal forms [10] from Fig. 2; transitions for general expressions can be derived by reducing them to A-normal form.…”
Section: Fig 3 αMl Operational Semanticsmentioning
confidence: 99%