Abstract machines for programming language implementation (2000)

Cached

Download Links

by Stephan Diehl , Pieter Hartel , Peter Sestoft
Venue:FUTURE GENERATION COMPUTER SYSTEMS
Citations:20 - 0 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
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
333 The mechanical evaluation of expressions – P J Landin - 1964
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
42 Technical Overview of the Common Language Runtime – Erik Meijer, Redmond Wa, John Gough - 2000
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004
31 Design and correctness of program transformations based on control-flow analysis – Anindya Banerjee, Nevin Heintze, Jon G Riecke - 2001
14 A Denotational Investigation of Defunctionalization – Lasse R. Nielsen - 2000
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
249 Warren’s Abstract Machine: A Tutorial Reconstruction – Hassan Aït-Kaci - 1991
38 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2005
23 Functional runtime systems within the lambda–sigma calculus – T Hardin, L Maranget, B Pagano - 1998
19 From Interpreter to Logic Engine by Defunctionalization – Dariusz Biernacki, Olivier Danvy - 2004
130 Representing Monads – Andrzej Filinski - 1994
26 From Interpreter to Compiler and Virtual Machine: a Functional Derivation – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
5 Implementing a real computational-environment jump in order to develop a runtime-adaptable reflective platform – Francisco Ortin, Juan Manuel Cueva - 2002
111 Separation of concerns – Walter L. Hürsch, Cristina Videira Lopes - 1995
1179 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972