Journal article
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
Journal
ACM SIGPLAN Notices, Vol. 28, No. 6, pp. 237–247
Publisher
Association for Computing Machinery (ACM)
Publication Date
6 1993
DOI
10.1145/173262.155113
ISSN
0362-1340