Dagstuhl Seminar Partial Evaluation 1996

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 BibTeX

@proceedings{DBLP:conf/dagstuhl/1996pe,
  editor    = {Olivier Danvy and
               Robert Gl{\"u}ck and
               Peter Thiemann},
  title     = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
               February 12-16, 1996, Selected Papers},
  booktitle = {Dagstuhl Seminar on Partial Evaluation},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1110},
  year      = {1996},
  isbn      = {3-540-61580-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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