|
5
|
Implementing Memoization for Partial Evaluation
– Peter Thiemann
- 1997
|
|
12
|
Towards Partial Evaluation of Full Scheme
– Peter Thiemann
- 1996
|
|
4
|
A Computational Formalization for Partial Evaluation (Extended Version)
– John Hatcliff, Olivier Danvy
- 1996
|
|
20
|
Two for the Price of One: Composing Partial Evaluation and Compilation
– Michael Sperber, Peter Thiemann
- 1997
|
|
27
|
An Automatic Program Generator for Multi-Level Specialization
– Robert Glück, Jesper Jørgensen
- 1997
|
|
23
|
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
|
|
14
|
A Hybrid Approach to Online and Offline Partial Evaluation
– Eijiro Sumii, Naoki Kobayashi
- 2002
|
|
54
|
Efficient Multi-level Generating Extensions for Program Specialization
– Robert Glück, Jesper Jørgensen
- 1995
|
|
5
|
Specialising interpreters using offline partial deduction
– Michael Leuschel, Stephen J. Craig, Maurice Bruynooghe, Wim Vanhoof
- 2004
|
|
7
|
Generation of LR Parsers by Partial Evaluation
– Michael Sperber, Peter Thiemann
- 2000
|
|
21
|
Partial Evaluation
– Torben Æ. Mogensen, Torben Ae. Mogensen, Peter Sestoft
- 1996
|
|
3
|
Two Flavors of Offline Partial Evaluation
– Simon Helsen, Peter Thiemann
- 1998
|
|
15
|
Efficiently generating efficient generating extensions in Prolog
– Jesper Jørgensen , Michael Leuschel
|
|
38
|
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
|
|
472
|
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
|
