Partial Evaluation

Keyphrases

Publications

volume 1706, 1999

Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 Partial Evaluation 1706 (1999)

1998

Julia L. Lawall
Faster Fourier Transforms via Automatic Program Specialization. Partial Evaluation (1998)
Robert Glück, Jesper Jørgensen
Multi-Level Specialization (Extended Abstract). Partial Evaluation (1998)
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
Partial Evaluation for the Lambda Calculus. Partial Evaluation (1998)
Michael Leuschel
Logic Program Specialisation. Partial Evaluation (1998)
Satnam Singh, Nicholas McKay
Partial Evaluation of Hardware. Partial Evaluation (1998)
Morten Heine Sørensen, Robert Glück
Introduction to Supercompilation. Partial Evaluation (1998)
John Hatcliff
An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language. Partial Evaluation (1998)
Peter Thiemann
Aspects of the PGG System: Specialization for Standard Scheme. Partial Evaluation (1998)
Olivier Danvy
Type-Directed Partial Evaluation. Partial Evaluation (1998)
Torben Æ. Mogensen
Partial Evaluation: Concepts and Applications. Partial Evaluation (1998)
Jesper Jørgensen
SIMILIX: A Self-Applicable Partial Evaluator for Scheme. Partial Evaluation (1998)
Lennart Augustsson
Partial Evaluation in Aircraft Crew Planning. Partial Evaluation (1998)
Michael Leuschel
Advanced Logic Program Specialisation. Partial Evaluation (1998)
Arne J. Glenstrup, Henning Makholm, Jens P. Secher
C-MIX: Specialization of C Programs. Partial Evaluation (1998)
Torben Æ. Mogensen
Inherited Limits. Partial Evaluation (1998)
John Hughes
A Type Specialisation Tutorial. Partial Evaluation (1998)
Jens Palsberg
Eta-Redexes in Partial Evaluation. Partial Evaluation (1998)