Conference
The essence of compiling with continuations
Abstract
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 intermediate representation of the source program. The salient aspect of this intermediate form is that all procedures take an argument that represents the rest of the computation (the "continuation"). Since the naïve CPS transformation considerably increases the size of …
Authors
Flanagan C; Sabry A; Duba BF; Felleisen M
Volume
39
Pagination
pp. 502-514
Publisher
Association for Computing Machinery (ACM)
Publication Date
April 2004
DOI
10.1145/989393.989443
Conference proceedings
ACM SIGPLAN Notices
Issue
4
ISSN
0362-1340