Partial Evaluation, 1998

John Hatcliff, Torben Æ. Mogensen, Peter Thiemann (Eds.): Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998. Lecture Notes in Computer Science 1706 Springer 1999, ISBN 3-540-66710-5

Part I: Practice and Experience Using Partial Evaluators

Torben Æ. Mogensen:
Partial Evaluation: Concepts and Applications. 1-19
John Hatcliff:
An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language. 20-82
Jesper Jørgensen:
SIMILIX: A Self-Applicable Partial Evaluator for Scheme. 83-107
Arne J. Glenstrup, Henning Makholm, Jens P. Secher:
C-MIX: Specialization of C Programs. 108-154
Michael Leuschel:
Logic Program Specialisation. 155-188

Torben Æ. Mogensen:
Inherited Limits. 189-202
Neil D. Jones, Carsten K. Gomard, Peter Sestoft:
Partial Evaluation for the Lambda Calculus. 203-220
Satnam Singh, Nicholas McKay:
Partial Evaluation of Hardware. 221-230
Lennart Augustsson:
Partial Evaluation in Aircraft Crew Planning. 231-245
Morten Heine Sørensen, Robert Glück:
Introduction to Supercompilation. 246-270
Michael Leuschel:
Advanced Logic Program Specialisation. 271-292
John Hughes:
A Type Specialisation Tutorial. 293-325
Robert Glück, Jesper Jørgensen:
Multi-Level Specialization (Extended Abstract). 326-337
Julia L. Lawall:
Faster Fourier Transforms via Automatic Program Specialization. 338-355
Jens Palsberg:
Eta-Redexes in Partial Evaluation. 356-366
Olivier Danvy:
Type-Directed Partial Evaluation. 367-411
Peter Thiemann:
Aspects of the PGG System: Specialization for Standard Scheme. 412-432

Last update Sat May 25 13:21:08 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page