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