177 search results - page 1 / 36 » The Essence of Compiling with Continuations |
PLDI
1993
ACM
13 years 9 months ago
1993
ACM
LFP
1992
13 years 6 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
POPL
2011
ACM
12 years 7 months ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...
POPL
2006
ACM
14 years 5 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
ESOP
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...