PE1996, Presentations

Papers appearing in the collection

  • Sandrine Blazy, Philippe Facon (CEDRIC IIE, France). An automatic Interprocedural Analysis for the Understanding of Scientific Application Programs. paper abstract
  • Mikhail A. Bulyonkov, Dmitrij V. Kochetov (Institute of Informatics Systems, Novosibirsk, Russia). Practical Aspects of Specialization of Algol-like Programs. paper abstract
  • WN Chin, SC Khoo (National Univ. of Singapore), P Thiemann (Univ. Tübingen). Synchronization Analyses for Multiple Recursion Parameters. paper abstract
  • Charles Consel, Luke Hornof, Francois Noel, Jacques Noyé, Nicolae Volanschi (Université‚ de Rennes/Irisa, France). A Uniform Approach for Compile-Time and Run-Time Specialization. paper abstract
  • Olivier Danvy (Aarhus University, Denmark). Pragmatics of Type-Directed Partial Evaluation. paper abstract
  • Scott Draves (Carnegie Mellon University, USA). Compiler Generation for Interactive Graphics using Intermediate Code. paper paper (stale) abstract
  • J.P. Gallagher, L. Lafave (University of Bristol, UK). Regular Approximation of Computation Paths in Logic and Functional Languages. paper abstract
  • Robert Glück, Morten Heine Sørensen (DIKU, University of Copenhagen). A Roadmap to Metacomputation by Supercompilation. paper abstract
  • John Hatcliff, Robert Glueck (DIKU, University of Copenhagen). Reasoning about Hierarchies of Online Program Specialization Systems. paper abstract
  • John Hughes (Chalmers Tekniska Hogskola, Sweden). Type Specialisation for the Lambda Calculus. paper paper (stale) abstract
  • Neil D. Jones (DIKU, University of Copenhagen). What Not to Do When Writing an Interpreter for Specialisation. paper abstract
  • Jesper Jørgensen, Michael Leuschel (KU Leuven). Efficiently Generating Efficient Generating Extensions in Prolog. paper abstract
  • Michael Leuschel, Bern Martens (KU Leuven). Global Control for Partial Deduction through Characteristic Atoms and Global Trees. paper abstract
  • Alain Miniussi, David Sherman (Univ. Bordeaux-1, France). Squeezing Intermediate Construction in Equational Programs. paper abstract
  • Torben Æ. Mogensen (DIKU, University of Copenhagen). Evolution of Partial Evaluators: Removing Inherited Limits. paper abstract
  • Andrei P. Nemytykh, Victoria A. Pinchuk (Programming Systems Institute, Pereslavl-Zalesski), Valentin F. Turchin (The City College of New York). A Self-Applicable Supercompiler. paper abstract
  • Flemming Nielson, Hanne Riis Nielson (Aarhus University, Denmark). Multi-Level Lambda-Calculi: an Algebraic Description. paper abstract
  • Alberto Pettorossi (University of Roma II, Italy). A Comparative Revisitation of Some Program Transformation Techniques. paper n/a abstract n/a
  • Alberto Pettorossi, Maurizio Proietti (University of Roma II, Italy). Automatic Techniques for Logic Program Specialization. paper n/a abstract
  • Thomas Reps, Todd Turndige (Univ. of Wisconsin). Program specialization via program slicing. paper abstract
  • Alexander Sakharov (Motorola, Inc., USA). Specialization of Imperative Programs through Analysis of Relational Expressions. paper abstract
  • Peter Sestoft (Royal Veterinary and Agricultural University, Denmark). ML pattern match compilation and partial evaluation. paper abstract
  • Michael Sperber (Universität Tübingen). Self-Applicable Online Partial Evaluation. paper abstract
  • Valentin F. Turchin (The City College of New York). Metacomputation: MST plus SCP. paper
    • Peter Thiemann