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

335 The mechanical evaluation of expressions – Peter J Landin - 1964
302 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
1089 Java virtual machine specification – Tim Lindholm, Frank Yellin
1234 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972
67 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
566 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
816 The Art of the Metaobject Protocol – G Kiczales, J des Rivieres, D G Bobrow - 1991
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981