Partial Evaluation, International Seminar

Dagstuhl Castle, Germany
February 12-16, 1996

Program

Sandrine Blazy and Philippe Facon
"An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs"
ps pdf

Mikhail A. Bulyonkov and Dmitry V. Kochetov
"Practical Aspects of Specialization of Algol-like Programs"
ps pdf

Wei-Ngan Chin, Siau-Cheng Khoo and Peter Thiemann
"Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract)"
ps pdf

Charles Consel, Luke Hornof, François Noël, Jacques Noyé and Nicolae Volansche
"A Uniform Approach for Compile-Time and Run-Time Specialization"
ps pdf

Olivier Danvy
"Pragmatics of Type-Directed Partial Evaluation"
ps pdf

Scott Draves
"Compiler Generation for Interactive Graphics Using Intermediate Code"
ps pdf

John P. Gallagher and Laura Lafave
"Regular Approximation of Computation Paths in Logic and Functional Languages"
ps pdf

Robert Glück and Morten Heine Sĝrensen
"A Roadmap to Metacomputation by Supercompilation"
ps pdf

John Hatcliff and Robert Glück
"Reasoning about Hierarchies of Online Program Specialization Systems"
ps pdf

John Hughes
"Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference"
ps pdf

Neil D. Jones
"What Not to Do When Writing an Interpreter for Specialisation"
ps pdf

Jesper Jĝrgensen and Michael Leuschel
"Efficiently Generating Efficient Generating Extensions in Prolog"
ps pdf

Michael Leuschel and Bern Martens
"Global Control for Partial Deduction through Characteristic Atoms and Global Trees"
ps pdf

Alain Miniussi and David Sherman
"Squeezing Intermediate Construction in Equational Programs"

Torben Ĉ. Mogensen
"Evolution of Partial Evaluators: Removing Inherited Limits"
ps pdf

Andrei P. Nemytykh, Victoria A. Pinchuk and Valentin F. Turchin
"A Self-Applicable Supercompiler"
ps pdf

Flemming Nielson and Hanne Riis Nielson
"Multi-Level Lambda-Calculi: An Algebraic Description"
ps pdf

Alberto Pettorossi and Maurizio Proietti
"A Comparative Revisitation of Some Program Transformation Techniques"
ps pdf

Alberto Pettorossi and Maurizio Proietti
"A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties"
ps pdf

Thomas W. Reps and Todd Turnidge
"Program Specialization via Program Slicing"
ps pdf

Alexander Sakharov
"Specialization of Imperative Programs Through Analysis of Relational Expressions"
ps pdf

Peter Sestoft
"ML Pattern Match Compilation and Partial Evaluation"
ps pdf

Michael Sperber
"Self-Applicable Online Partial Evaluation"
ps pdf

Valentin F. Turchin
"Metacomputation: Metasystem Transitions plus Supercompilation"
ps pdf