Back to Direct Style (1994)

Cached

Download Links

by Olivier Danvy
Citations:49 - 22 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
14 On the Transformation between Direct and Continuation Semantics – Olivier Danvy, John Hatcliff - 1993
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
5 Reflections on Reflections – Gilles Barthe, John Hatcliff, Morten Heine Sørensen - 1997
22 On proving syntactic properties of CPS programs – Belmina Dzafic, Olivier Danvy, Olivier Danvy, Belmina Dza C, Frank Pfenning, Frank Pfenning - 1999
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
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
24 The Occurrence of Continuation Parameters in CPS Terms – Olivier Danvy, Frank Pfenning - 1995
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
On the Idempotence of the CPS Transformation – Olivier Danvy, Karoline Malmkjær - 1996
15 Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis – Geoffrey Burn, Daniel Le M'etayer - 1992
Amr Sabry – University Of Oregon, Amr Sabry, Philip Wadler - 1997
Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation – Jan Midtgaard A, Thomas P. Jensen B - 2012
Using Program Structure to Guide Optimization in the Presence of First-Class Functions. – David Tarditi - 1994
10 Online Partial Evaluation for Shift and Reset – Kenichi Asai - 2002
3 A lambda-revelation of the SECD machine – Olivier Danvy - 2003