Improving CPS-Based Partial Evaluation: Writing Cogen by Hand (1994)

Cached

Download Links

by Anders Bondorf , Dirk Dussart
Venue:University of Melbourne, Australia
Citations:15 - 0 self

Active Bibliography

26 Partial Evaluation for Higher-Order Languages with State – Peter Thiemann, Dirk Dussart - 1996
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
27 Cogen in Six Lines – Peter J. Thiemann - 1996
5 Implementing Memoization for Partial Evaluation – Peter Thiemann - 1997
13 Towards Partial Evaluation of Full Scheme – Peter Thiemann - 1996
3 Two Flavors of Offline Partial Evaluation – Simon Helsen, Peter Thiemann - 1998
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
23 Partial Evaluation – Torben Æ. Mogensen, Peter Sestoft - 1996
28 An Automatic Program Generator for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1997
4 Polymorphic Specialization for ML – Simon Helsen, Peter Thiemann - 2002
16 A Hybrid Approach to Online and Offline Partial Evaluation – Eijiro Sumii, Naoki Kobayashi - 2002
T~pe-Directed Partial Evalt~ation – Olivier Danvy
5 Pragmatic Aspects of Type-Directed Partial Evaluation – Olivier Danvy - 1996
7 A Unified Framework for Binding-Time Analysis – Peter Thiemann - 1997
16 Type Specialisation for the lambda-calculus, or A New Paradigm for Partial Evaluation based on Type Inference – John Hughes
7 Specialising interpreters using offline partial deduction – Michael Leuschel, Stephen J. Craig, Maurice Bruynooghe, Wim Vanhoof - 2004
41 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
16 Efficiently generating efficient generating extensions in Prolog – Jesper Jørgensen , Michael Leuschel