Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation (2000)

by Daniel Damian , Olivier Danvy
Venue:Journal of Functional Programming
Citations:25 - 9 self

Documents Related by Co-Citation

620 Compiling with Continuations – A W Appel - 1992
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
268 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
530 Perspectives on Program Analysis – Flemming Nielson - 1996
22 Is Continuation-Passing Useful for Data Flow Analysis? – Amr Sabry, Matthias Felleisen - 1994
26 A first-order one-pass CPS transformation – Olivier Danvy, Lasse R. Nielsen - 2003
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
6 CPS Transformation of Flow Information – Jens Palsberg, Mitchell Wand - 2001
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
35 The effectiveness of type-based unboxing – Xavier Leroy, Inria Rocquencourt - 1997
81 The Design of a Class Mechanism for MOBY – Kathleen Fisher, John Reppy - 1999
39 A Correspondence between Continuation Passing Style and Static Single Assignment Form – Richard Kelsey - 1995
12 Assessing the Overhead of ML Exceptions by Selective CPS . . . – Olivier Danvy, Jung-taek Kim, O. Danvy, Jung-taek Kim, Kwangkeun Yi, Kwangkeun Yi - 1998
48 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
93 Rabbit: A compiler for Scheme – G L Steele Jr - 1978
8 Local CPS conversion in a direct-style compiler (Extended Abstract) – John Reppy - 2000
22 On proving syntactic properties of CPS programs – Belmina Dzafic, Olivier Danvy, Olivier Danvy, Belmina Dza C, Frank Pfenning, Frank Pfenning - 1999
8 A Modular, Extensible Proof Method for Small-step Flow Analyses – Mitchell Wand, Galen B. Williamson - 2002
67 Continuation Semantics in Typed Lambda-Calculi – Albert R. Meyer, Mitchell Wand - 1985