Conference
Is continuation-passing useful for data flow analysis?
Abstract
The widespread use of the continuation-passing style (CPS) transformation in compilers, optimizers, abstract interpreters, and partial evaluators reflects a common belief that the transformation has a positive effect on the analysis of programs. Investigations by Nielson [13] and Burn/Filho [5,6] support, to some degree, this belief with theoretical results. However, they do not pinpoint the source of increased abstract information and do not …
Authors
Sabry A; Felleisen M
Volume
29
Pagination
pp. 1-12
Publisher
Association for Computing Machinery (ACM)
Publication Date
6 1994
DOI
10.1145/178243.178244
Name of conference
Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Conference proceedings
ACM SIGPLAN Notices
Issue
6
ISSN
0362-1340