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

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
5 A New One-Pass Transformation into Monadic Normal Form – Olivier Danvy - 2003
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
This document in subdirectory RS/02/36 / CPS Transformation of Flow Information, Part II: Administrative Reductions ∗ – Daniel Damian, Olivier Danvy, Daniel Damian, Olivier Danvy, Daniel Damian, Olivier Danvy - 2000
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
5 Pragmatic Aspects of Type-Directed Partial Evaluation – Olivier Danvy - 1996
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
16 A Hybrid Approach to Online and Offline Partial Evaluation – Eijiro Sumii, Naoki Kobayashi - 2002
14 On the Transformation between Direct and Continuation Semantics – Olivier Danvy, John Hatcliff - 1993
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
11 Polyvariant Flow Analysis with Constrained Types – Scott F. Smith, Tiejun Wang - 2000
3 Polymorphic Constraint-Based Type Inference for Objects – Tiejun Wang, Scott F. Smith
54 A modular, polyvariant, and type-based closure analysis – Anindya Banerjee
23 Polymorphic Splitting: An Effective Polyvariant Flow Analysis – Andrew K. Wright, Suresh Jagannathan - 1998
5 Reflections on Reflections – Gilles Barthe, John Hatcliff, Morten Heine Sørensen - 1997