Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation (0)

Cached

Download Links

by Olivier Danvy , René Vestergaard
Venue:Eighth International Symposium on Programming Language Implementation and Logic Programming
Citations:23 - 8 self

Active Bibliography

27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
26 From Interpreter to Compiler and Virtual Machine: a Functional Derivation – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
2 Reasoning about Code Generation in Two-Level Languages – Zhe Yang - 2000
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
5 Pragmatic Aspects of Type-Directed Partial Evaluation – Olivier Danvy - 1996
14 On the Transformation between Direct and Continuation Semantics – Olivier Danvy, John Hatcliff - 1993
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
39 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure – Olivier Danvy, Ulrik P. Schultz - 2001
5 A New One-Pass Transformation into Monadic Normal Form – Olivier Danvy - 2003
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
5 Implementing Memoization for Partial Evaluation – Peter Thiemann - 1997
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
9 Realistic Compilation by Partial Evaluation – Michael Sperber, Peter Thiemann - 1996
26 Partial Evaluation for Higher-Order Languages with State – Peter Thiemann, Dirk Dussart - 1996
Formal Aspects of Polyvariant Specialization – Henning Korsholm Rohde - 2005
5 Implicit and Explicit Aspects of Scope and Block Structure – Ulrik Pagh Schultz
1 Principal Type Specialization of Dynamic Sum-Types – Alejandro C. Russo - 2004