Cogen in Six Lines (1996)

Cached

Download Links

by Peter J. Thiemann
Venue:Proc. International Conference on Functional Programming
Citations:27 - 10 self

Active Bibliography

5 Implementing Memoization for Partial Evaluation – Peter Thiemann - 1997
13 Towards Partial Evaluation of Full Scheme – Peter Thiemann - 1996
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
28 An Automatic Program Generator for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1997
26 Partial Evaluation for Higher-Order Languages with State – Peter Thiemann, Dirk Dussart - 1996
6 Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract) – Eijiro Sumii, Naoki Kobayashi - 2000
16 A Hybrid Approach to Online and Offline Partial Evaluation – Eijiro Sumii, Naoki Kobayashi - 2002
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
7 Specialising interpreters using offline partial deduction – Michael Leuschel, Stephen J. Craig, Maurice Bruynooghe, Wim Vanhoof - 2004
8 Generation of LR Parsers by Partial Evaluation – Michael Sperber, Peter Thiemann - 2000
23 Partial Evaluation – Torben Æ. Mogensen, Peter Sestoft - 1996
3 Two Flavors of Offline Partial Evaluation – Simon Helsen, Peter Thiemann - 1998
16 Efficiently generating efficient generating extensions in Prolog – Jesper Jørgensen , Michael Leuschel
41 Offline specialisation in Prolog using a hand-written compiler generator – Michael Leuschel, Jesper Jørgensen - 2004
15 Improving CPS-Based Partial Evaluation: Writing Cogen by Hand – Anders Bondorf, Dirk Dussart - 1994
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
14 Sound Specialization in the Presence of Computational Effects – Julia L. Lawall, Peter Thiemann - 1997
4 Polymorphic Specialization for ML – Simon Helsen, Peter Thiemann - 2002