PEPM 1991: New Haven, Connecticut, USA

Session 1

• Akihiko Takano: Generalized Partial Computation for a Lazy Functional Language. 1-11 BibTeX
• Alexander Romanenko: Inversion and Metacomputation. 12-22 BibTeX
• Dan Sahlin: Determinacy Analysis for Full Prolog. 23-30 BibTeX

Session 2

• Björn Lisper: Detecting Static Algorithms by Partial Evaluation. 31-42 BibTeX
• Timothy J. Hickey, Donald A. Smith: Toward the Partial Evaluation of CLP Languages. 43-51 BibTeX
• Agostino Cortesi, Gilberto Filé: Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. 52-61 BibTeX

Session 3

• Donald A. Smith: Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages. 62-71 BibTeX
• David Sherman, Robert Strandh, Irène Durand: Optimization of Equational Programs Using Partial Evaluation. 72-82 BibTeX
• R. S. Sundaresh: Building Incremental Programs using Partial Evaluation. 83-93 BibTeX

Session 4

• Uwe Meyer: Techniques for Partial Evaluation of Imperative Languages. 94-105 BibTeX
• Timothy S. McNerney: Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation. 106-115 BibTeX
• Zena M. Ariola, Arvind: A Syntactic Approach to Program Transformations. 116-129 BibTeX

Session 5

• John Hannan: Staging Transformations for Abstract Machines. 130-141 BibTeX
• Anne De Niel, Eddy Bevers, Karel De Vlaminck: Program Bifurcation for a Polymorphic Typed Functional Language. 142-153 BibTeX
• Sebastian Hunt, David Sands: Binding Time Analysis: A New PERspective. 154-165 BibTeX

Session 6

• Carsten K. Gomard, Peter Sestoft: Globalization and Live Variables. 166-177 BibTeX
• Young Gil Park, Benjamin Goldberg: Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. 178-189 BibTeX
• Olin Shivers: The Semantics of Scheme Control-Flow Analysis. 190-198 BibTeX

Session 7

• Andrei V. Klimov: Dynamic Specialization in Extended Functional Language with Monotone Objects. 199-210 BibTeX
• Siau-Cheng Khoo, R. S. Sundaresh: Compiling Inheritance using Partial Evaluation. 211-222 BibTeX
• Carsten Kehler Holst, Carsten K. Gomard: Partial Evaluation is Fuller Laziness. 223-233 BibTeX

Session 8

• Robert Muller: M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). 234-242 BibTeX
• Torben Amtoft Hansen: Properties of Unfolding-based Meta-level Systems. 243-254 BibTeX
• Philip Wadler: Is There a Use for Linear Logic? 255-273 BibTeX

Session 9

• Maurizio Proietti, Alberto Pettorossi: Semantics Preserving Transformation Rules for Prolog. 274-284 BibTeX
• Spiro Michaylov, Frank Pfenning: Compiling the Polymorphic Lambda-Calculus. 285-296 BibTeX
• Ian A. Mason, Carolyn L. Talcott: Program Transformations for Configuring Components. 297-308 BibTeX

Session 10

• Robert Glück: Towards Multiple Self-Application. 309-320 BibTeX
• Erik Ruf, Daniel Weise: Using Types to Avoid Redundant Specialization. 321-333 BibTeX