The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms (1994)

by Amr A. Sabry
Citations:15 - 0 self

Active Bibliography

Amr Sabry – University Of Oregon, Amr Sabry, Philip Wadler - 1997
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
10 Recursion from Iteration – Andrzej Filinski - 1994
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
14 Sound Specialization in the Presence of Computational Effects – Julia L. Lawall, Peter Thiemann - 1997
On the Idempotence of the CPS Transformation РOlivier Danvy, Karoline Malmkjær - 1996
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
1 Operational Interpretations of an Extension of F-omega with Control Operators – Robert Harper, Mark Lillibridge - 1995
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
14 On the Transformation between Direct and Continuation Semantics – Olivier Danvy, John Hatcliff - 1993
49 Back to Direct Style – Olivier Danvy - 1994
5 A New One-Pass Transformation into Monadic Normal Form – Olivier Danvy - 2003
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
Type Theory for Programming Languages – Robert Harper - 1994
32 A Semantic analysis of control – James David Laird - 1998
22 Is Continuation-Passing Useful for Data Flow Analysis? – Amr Sabry, Matthias Felleisen - 1994
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994