default search action
Partial Evaluation, 1998
- John Hatcliff, Torben Æ. Mogensen, Peter Thiemann:
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
Part II: Theory, Systems and Applications
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.