On the Transformation between Direct and Continuation Semantics (1993)

Cached

Download Links

by Olivier Danvy , John Hatcliff
Venue:Proceedings of the 9th Conference on Mathematical Foundations of Programming Semantics, number 802 in Lecture Notes in Computer Science
Citations:14 - 11 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
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
49 Back to Direct Style – Olivier Danvy - 1994
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
25 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation – Daniel Damian, Olivier Danvy - 2000
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 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
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
26 From Interpreter to Compiler and Virtual Machine: a Functional Derivation – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
On the Idempotence of the CPS Transformation – Olivier Danvy, Karoline Malmkjær - 1996