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