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

Documents Related by Co-Citation

269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
625 Compiling With Continuations – A W Appel - 1992
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
128 Rabbit: A compiler for Scheme – Guy L Steele - 1978
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
34 A denotational framework for data flow analysis – F Nielson - 1982
97 Set Based Program Analysis – Nevin Heintze - 1992
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
81 Replacing function parameters by global variables, in: J.E. Stoy (Ed – P Sestoft - 1989
14 Abstract Analysis and Optimization of Scheme – A E Ayers - 1993
25 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation – Daniel Damian, Olivier Danvy - 2000
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
37 Specifying the correctness of binding-time analysis – Michell Wand - 1993
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
8 Continuation passing transformation and abstract interpretation – J A Muylaert-Filho, G L Burn - 1993
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
730 Notions of Computation and Monads – Eugenio Moggi - 1991