Compiling with continuations, continued
A Kennedy - Proceedings of the 12th ACM SIGPLAN international …, 2007 - dl.acm.org
We present a series of CPS-based intermediate languages suitable for functional language
compilation, arguing that they have practical benefits over direct-style languages based on A-…
compilation, arguing that they have practical benefits over direct-style languages based on A-…
The essence of compiling with continuations
In order to simplify the compilation process, many compilers for higher-order languages use
the continuation-passing style (CPS) transformation in a first phase to generate an …
the continuation-passing style (CPS) transformation in a first phase to generate an …
[BOOK][B] Compiling with continuations
AW Appel - 2007 - books.google.com
… Each continuation expression takes zero or more atomic … continues via zero or more
continuation expressions. For example integer additionofvariables a and b yielding c, continuing …
continuation expressions. For example integer additionofvariables a and b yielding c, continuing …
Compiling with Continuations, or without? Whatever.
… continuations, and enforce continuations to behave in a 2nd-class manner. This allows us to
compile continuations as … a return continuation k2, and uses it to continue the execution after …
compile continuations as … a return continuation k2, and uses it to continue the execution after …
Compiling without continuations
… Join points are often treated as functions or continuations, but we believe it is time to
study them in their own right. We show that adding join points to a direct-style functional …
study them in their own right. We show that adding join points to a direct-style functional …
Compiling with continuations, correctly
Z Paraskevopoulou, A Grover - … of the ACM on Programming Languages, 2021 - dl.acm.org
… We use this technique to revisit the semantic correctness of a continuation-passing style (CPS) …
Our continuation-passing style transformation is part of the CertiCoq compiler for Gallina, …
Our continuation-passing style transformation is part of the CertiCoq compiler for Gallina, …
The logical essence of compiling with continuations
JE Santo, F Mendes - arXiv preprint arXiv:2304.14752, 2023 - arxiv.org
The essence of compiling with continuations is that conversion to continuation-passing style
(CPS) is equivalent to a source language transformation converting to administrative normal …
(CPS) is equivalent to a source language transformation converting to administrative normal …
Compiling self-adjusting programs with continuations
… -based technique for writing and compiling self-adjusting programs from ordinary programs.
To compile self-adjusting programs, we use a continuationpassing style (cps) transformation …
To compile self-adjusting programs, we use a continuationpassing style (cps) transformation …
Reasoning about programs in continuation-passing style
A Sabry, M Felleisen - Lisp and symbolic computation, 1993 - Springer
… that .4 ignores the current continuation and uses the initial continuation ()~xx) instead. We
therefore may extend the syntactic category of continuations with an "initial continuation" ()~xx)…
therefore may extend the syntactic category of continuations with an "initial continuation" ()~xx)…
Continuation-passing, closure-passing style
AW Appel, T Jim - Proceedings of the 16th ACM SIGPLAN-SIGACT …, 1989 - dl.acm.org
… continuation expressions instead of named continuation … our compiler produces a
lambda-calculus intermediate representation (described in [l]). This must be translated into …
lambda-calculus intermediate representation (described in [l]). This must be translated into …