RML -- A New Language and Implementation for Natural Semantics (1994)

Cached

Download Links

by Mikael Pettersson
Venue:PROCEEDINGS OF THE 6TH INTERNATIONAL SYMPOSIUM ON PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING, PLILP, VOLUME 884 OF LNCS
Citations:15 - 2 self

Active Bibliography

36 A Compiler for Natural Semantics – Mikael Pettersson - 1996
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
22 Is Continuation-Passing Useful for Data Flow Analysis? – Amr Sabry, Matthias Felleisen - 1994
26 A Provably Correct Compiler Generator – Jens Palsberg - 1992
2 Formalizing Resource Allocation in a Compiler – Peter Thiemann - 1998
35 Reference Counting as a Computational Interpretation of Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1996
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
3 Efficient and safe-for-space closure conversion – Zhong Shao, Andrew W. Appel
1 A verified compiler for VLISP PreScheme – Dino P. Oliva, John D. Ramsdell, Mitchell Wand - 1993
15 The VLISP Verified PreScheme Compiler – Dino P. Oliva, John D. Ramsdell - 1995
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
2 Reasoning with Executable Specifications – Yves Bertot, Ranan Fraer - 1995
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
5 A New One-Pass Transformation into Monadic Normal Form – Olivier Danvy - 2003
9 Continuations and transducer composition – Olin Shivers - 2006
458 Comprehending Monads – Philip Wadler - 1992
22 Callee-save Registers in Continuation-passing Style – Andrew W. Appel, Zhong Shao - 1992