Is Continuation-Passing Useful for Data Flow Analysis? (1994)

by Amr Sabry , Matthias Felleisen
Venue:Proceedings of the ACM SIGPLAN'94 Conference on Programming Languages Design and Implementation, SIGPLAN Notices
Citations:22 - 5 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
25 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation – Daniel Damian, Olivier Danvy - 2000
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
3 Efficient and safe-for-space closure conversion – Zhong Shao, Andrew W. Appel
Using Program Structure to Guide Optimization in the Presence of First-Class Functions. – David Tarditi - 1994
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
34 Secure Information Flow via Linear Continuations – Steve Zdancewic, Andrew C. Myers - 2002
15 RML -- A New Language and Implementation for Natural Semantics – Mikael Pettersson - 1994
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
32 Secure Information Flow and CPS – Steve Zdancewic, Andrew C. Myers - 2001
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
48 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
2 Formalizing Resource Allocation in a Compiler – Peter Thiemann - 1998
10 Dynamic Slicing In Higher-Order Programming Languages – Sandip K. Biswas, Carl A. Gunter, Insup Lee - 1997
1 Generational copying garbage collection for Standard ML: a quantitative study – Darko Stefanovic - 1993
38 A Correspondence between Continuation Passing Style and Static Single Assignment Form – Richard Kelsey - 1995
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
Selective and Lightweight Closure Conversion – Paul A. Steckler, MITCHELL WAND - 1996