A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines (2005)

by Małgorzata Biernacka , Olivier Danvy
Citations:18 - 12 self

Active Bibliography

27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
38 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2005
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
32 A Semantic analysis of control – James David Laird - 1998
4 A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state – Johan Munk - 2008
Acknowledgments – unknown authors
5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
21 Formalizing Implementation Strategies for First-Class Continuations – O. Danvy, Olivier Danvy - 2000
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
13 Refunctionalization at Work – Olivier Danvy, Kevin Millikin - 2008
13 An Introduction to Landin's "A Generalization of Jumps and Labels " – Hayo Thielecke
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
26 From Interpreter to Compiler and Virtual Machine: a Functional Derivation – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003