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

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

Documents Related by Co-Citation

65 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
38 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2005
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
12 Refocusing in reduction semantics. Research Report BRICS – Olivier Danvy, Lasse R Nielsen - 2004
24 Programming languages and lambda calculi. Unpublished lecture notes – M Felleisen, M Flatt
41 The calculi of λv-CS conversion: A syntactic theory of control and state in imperative higher-order programming languages – M Felleisen - 1987
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
333 The mechanical evaluation of expressions – P J Landin - 1964
72 Control operators, the SECDmachine, and the λ-calculus – Matthias Felleisen, Daniel P Friedman - 1986
201 Call-by-name, call-by-value and the λ-calculus – G Plotkin, D - 1975
20 A concrete framework for environment machines – Małgorzata Biernacka, Olivier Danvy - 2005
21 From Reduction-Based to Reduction-Free Normalization – Olivier Danvy - 2004
9 The Theory and Practice of Programming Languages with Delimited Continuations – Dariusz Biernacki - 2005
18 An operational foundation for delimited continuations in the CPS hierarchy – Dariusz Biernacki, Olivier Danvy - 2005
19 From Interpreter to Logic Engine by Defunctionalization – Dariusz Biernacki, Olivier Danvy - 2004
62 An Abstract Framework for Environment Machines – P-L Curien - 1991
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004