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

268 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
620 Compiling with Continuations – Andrew W Appel - 1992
297 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
128 Rabbit: A compiler for Scheme – G Steele - 1978
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
34 A denotational framework for data flow analysis – F Nielson - 1982
25 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation – Daniel Damian, Olivier Danvy - 2000
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
733 Notions of Computation and Monads – Eugenio Moggi - 1991
1880 Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints – P Cousot, R Cousot - 1977
199 Call-by-name, call-by-value and the λ-calculus – G Plotkin - 1975
220 Call-by-name, call-by-value, and the #-calculus – G Plotkin - 1975
67 Continuation Semantics in Typed Lambda-Calculi – Albert R. Meyer, Mitchell Wand - 1985
8 Continuation passing transformation and abstract interpretation – J A Muylaert-Filho, G L Burn - 1993
95 Set Based Program Analysis – Nevin Heintze - 1993
81 Replacing function parameters by global variables – Peter Sestoft - 1989
14 Abstract analysis and optimization of Scheme – A E Ayers - 1993