Dagstuhl Seminar on Partial Evaluation

Keyphrases

Publications

1996

Olivier Danvy
Pragmatics of Type-Directed Partial Evaluation. Dagstuhl Seminar on Partial Evaluation (1996)
Alberto Pettorossi, Maurizio Proietti
A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties. Dagstuhl Seminar on Partial Evaluation (1996)
Valentin F. Turchin
Metacomputation: Metasystem Transitions plus Supercompilation. Dagstuhl Seminar on Partial Evaluation (1996)
Alexander Sakharov
Specialization of Imperative Programs Through Analysis of Relational Expressions. Dagstuhl Seminar on Partial Evaluation (1996)
Michael Leuschel, Bern Martens
Global Control for Partial Deduction through Characteristic Atoms and Global Trees. Dagstuhl Seminar on Partial Evaluation (1996)
Mikhail A. Bulyonkov, Dmitry V. Kochetov
Practical Aspects of Specialization of Algol-like Programs. Dagstuhl Seminar on Partial Evaluation (1996)
Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin
A Self-Applicable Supercompiler. Dagstuhl Seminar on Partial Evaluation (1996)
Scott Draves
Compiler Generation for Interactive Graphics Using Intermediate Code. Dagstuhl Seminar on Partial Evaluation (1996)
Flemming Nielson, Hanne Riis Nielson
Multi-Level Lambda-Calculi: An Algebraic Description. Dagstuhl Seminar on Partial Evaluation (1996)
Thomas W. Reps, Todd Turnidge
Program Specialization via Program Slicing. Dagstuhl Seminar on Partial Evaluation (1996)
Torben Æ. Mogensen
Evolution of Partial Evaluators: Removing Inherited Limits. Dagstuhl Seminar on Partial Evaluation (1996)
Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Nicolae Volansche
A Uniform Approach for Compile-Time and Run-Time Specialization. Dagstuhl Seminar on Partial Evaluation (1996)
Sandrine Blazy, Philippe Facon
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs. Dagstuhl Seminar on Partial Evaluation (1996)
Neil D. Jones
What Not to Do When Writing an Interpreter for Specialisation. Dagstuhl Seminar on Partial Evaluation (1996)
John Hatcliff, Robert Glück
Reasoning about Hierarchies of Online Program Specialization Systems. Dagstuhl Seminar on Partial Evaluation (1996)
Michael Sperber
Self-Applicable Online Partial Evaluation. Dagstuhl Seminar on Partial Evaluation (1996)
John P. Gallagher, Laura Lafave
Regular Approximation of Computation Paths in Logic and Functional Languages. Dagstuhl Seminar on Partial Evaluation (1996)
Alberto Pettorossi, Maurizio Proietti
A Comparative Revisitation of Some Program Transformation Techniques. Dagstuhl Seminar on Partial Evaluation (1996)
Alain Miniussi, David J. Sherman
Squeezing Intermediate Construction in Equational Programs. Dagstuhl Seminar on Partial Evaluation (1996)
John Hughes
Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference. Dagstuhl Seminar on Partial Evaluation (1996)
Jesper Jørgensen, Michael Leuschel
Efficiently Generating Efficient Generating Extensions in Prolog. Dagstuhl Seminar on Partial Evaluation (1996)
Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann
Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Dagstuhl Seminar on Partial Evaluation (1996)
Robert Glück, Morten Heine Sørensen
A Roadmap to Metacomputation by Supercompilation. Dagstuhl Seminar on Partial Evaluation (1996)
Peter Sestoft
MK Pattern Match Compilation and Partial Evaluation. Dagstuhl Seminar on Partial Evaluation (1996)

volume 1110, 1996

Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers Dagstuhl Seminar on Partial Evaluation 1110 (1996)