Olivier Danvy, Robert Glück, Peter Thiemann (Eds.):
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers.
Lecture Notes in Computer Science 1110 Springer 1996, ISBN 3-540-61580-6 
- Sandrine Blazy, Philippe Facon:
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs.
1-16
- Mikhail A. Bulyonkov, Dmitry V. Kochetov:
Practical Aspects of Specialization of Algol-like Programs.
17-32
- Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann:
Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract).
33-53
- Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Nicolae Volansche:
A Uniform Approach for Compile-Time and Run-Time Specialization.
54-72
- Olivier Danvy:
Pragmatics of Type-Directed Partial Evaluation.
73-94
- Scott Draves:
Compiler Generation for Interactive Graphics Using Intermediate Code.
95-114
- John P. Gallagher, Laura Lafave:
Regular Approximation of Computation Paths in Logic and Functional Languages.
115-136
- Robert Glück, Morten Heine Sørensen:
A Roadmap to Metacomputation by Supercompilation.
137-160
- John Hatcliff, Robert Glück:
Reasoning about Hierarchies of Online Program Specialization Systems.
161-182
- John Hughes:
Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference.
183-215
- Neil D. Jones:
What Not to Do When Writing an Interpreter for Specialisation.
216-237
- Jesper Jørgensen, Michael Leuschel:
Efficiently Generating Efficient Generating Extensions in Prolog.
238-262
- Michael Leuschel, Bern Martens:
Global Control for Partial Deduction through Characteristic Atoms and Global Trees.
263-283
- Alain Miniussi, David Sherman:
Squeezing Intermediate Construction in Equational Programs.
284-302
- Torben Æ. Mogensen:
Evolution of Partial Evaluators: Removing Inherited Limits.
303-321
- Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin:
A Self-Applicable Supercompiler.
322-337
- Flemming Nielson, Hanne Riis Nielson:
Multi-Level Lambda-Calculi: An Algebraic Description.
338-354
- Alberto Pettorossi, Maurizio Proietti:
A Comparative Revisitation of Some Program Transformation Techniques.
355-385
- Alberto Pettorossi, Maurizio Proietti:
A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties.
386-408
- Thomas W. Reps, Todd Turnidge:
Program Specialization via Program Slicing.
409-429
- Alexander Sakharov:
Specialization of Imperative Programs Through Analysis of Relational Expressions.
430-445
- Peter Sestoft:
MK Pattern Match Compilation and Partial Evaluation.
446-464
- Michael Sperber:
Self-Applicable Online Partial Evaluation.
465-480
- Valentin F. Turchin:
Metacomputation: Metasystem Transitions plus Supercompilation.
481-509
Last update Fri May 24 02:20:59 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
