Abstract is missing.
- Generalized Partial Computation for a Lazy Functional LanguageAkihiko Takano. 1-11
- Determinacy Analysis for Full PrologDan Sahlin. 23-30
- Detecting Static Algorithms by Partial EvaluationBjörn Lisper. 31-42
- Toward the Partial Evaluation of CLP LanguagesTimothy J. Hickey, Donald A. Smith. 43-51
- Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness AnalysisAgostino Cortesi, Gilberto Filé. 52-61
- Partial Evaluation of Pattern Matching in Constraint Logic Programming LanguagesDonald A. Smith. 62-71
- Optimization of Equational Programs Using Partial EvaluationDavid Sherman, Robert Strandh, Irène Durand. 72-82
- Building Incremental Programs using Partial EvaluationR. S. Sundaresh. 83-93
- Techniques for Partial Evaluation of Imperative LanguagesUwe Meyer. 94-105
- Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract InterpretationTimothy S. McNerney. 106-115
- A Syntactic Approach to Program TransformationsZena M. Ariola, Arvind. 116-129
- Staging Transformations for Abstract MachinesJohn Hannan. 130-141
- Program Bifurcation for a Polymorphic Typed Functional LanguageAnne De Niel, Eddy Bevers, Karel De Vlaminck. 142-153
- Binding Time Analysis: A New PERspectiveSebastian Hunt, David Sands. 154-165
- Globalization and Live VariablesCarsten K. Gomard, Peter Sestoft. 166-177
- Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of ReferencesYoung Gil Park, Benjamin Goldberg. 178-189
- The Semantics of Scheme Control-Flow AnalysisOlin Shivers. 190-198
- Dynamic Specialization in Extended Functional Language with Monotone ObjectsAndrei V. Klimov. 199-210
- Compiling Inheritance using Partial EvaluationSiau-Cheng Khoo, R. S. Sundaresh. 211-222
- Partial Evaluation is Fuller LazinessCarsten Kehler Holst, Carsten K. Gomard. 223-233
- M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract)Robert Muller. 234-242
- Properties of Unfolding-based Meta-level SystemsTorben Amtoft Hansen. 243-254
- Is There a Use for Linear Logic?Philip Wadler. 255-273
- Semantics Preserving Transformation Rules for PrologMaurizio Proietti, Alberto Pettorossi. 274-284
- Compiling the Polymorphic Lambda-CalculusSpiro Michaylov, Frank Pfenning. 285-296
- Program Transformations for Configuring ComponentsIan A. Mason, Carolyn L. Talcott. 297-308
- Towards Multiple Self-ApplicationRobert Glück. 309-320
- Using Types to Avoid Redundant SpecializationErik Ruf, Daniel Weise. 321-333