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 nai¨ve CPS transformation considerably increases the size of …
Authors
Flanagan C; Sabry A; Duba BF; Felleisen M
Volume
28
Pagination
pp. 237-247
Publisher
Association for Computing Machinery (ACM)
Publication Date
6 1993
DOI
10.1145/155090.155113
Name of conference
Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Conference proceedings
ACM SIGPLAN Notices
Issue
6
ISSN
0362-1340