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 – Andrew 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
527 Perspectives on Program Analysis – Flemming Nielson - 1996
67 Continuation Semantics in Typed Lambda-Calculi – Albert R. Meyer, Mitchell Wand - 1985
22 Is Continuation-Passing Useful for Data Flow Analysis? – Amr Sabry, Matthias Felleisen - 1994
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
93 Rabbit: A compiler for Scheme – G L Steele Jr - 1978
110 The Discoveries of Continuations – John C. Reynolds - 1993
13 On Static and Dynamic Control-Flow Information in Program Analysis and Transformation – Daniel Damian, Daniel Damian - 2001
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
39 A Correspondence between Continuation Passing Style and Static Single Assignment Form – Richard Kelsey - 1995
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
13 Embedding Type Structure in Semantics – Mitchell Wand - 1985
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
60 A Reflection on Call-by-Value – Amr Sabry, Philip Wadler - 1996