Proceedings of the 1994 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation

Related Pages

• The Web page for PEPM '95.
• The Semantics-Based Program Analysis and Manipulation page.

Title page

Introduction, table of contents (including page numbers), and author index.

Improving CPS-Based Partial Evaluation: Writing Cogen by Hand

Anders Bondorf and Dirk Dussart (CRI A/S, Denmark, and Katholieke Universiteit Leuven, Belgium)

The Essence of Eta-Expansion in Partial Evaluation

Olivier Danvy, Karoline Malmkjaer and Jens Palsberg (Aarhus University, Denmark, and Northeastern University, USA)

Improving Programs Which Recurse over Multiple Inductive Structures

Leonidas Fegaras, Tim Sheard and Tong Zhou (Oregon Graduate Institute, USA)

Analysing Resource Use in the Lambda Calculus by Type Inference

Simon A. Courtenage and Chris D. Clack (University College London, England)

Type Theory and Projections for Higher-Order Static Analysis

Clem Baker-Finch (University of Canberra, Australia)

PERs from Projections for Binding-Time Analysis

Kei Davis (University of Glasgow, Scotland)

Binding-Time Analysis for Standard ML

Lars Birkedal and Morten Welinder (University of Copenhagen, Denmark)

Higher-Order Redundancy Elimination

Peter Thiemann (University of Tuebingen, Germany)

Identifying Profitable Specialization in Object-Oriented Languages

Jeffrey Dean, Craig Chambers, and David Grove (University of Washington, USA)

Lightweight Run-Time Code Generation

Mark Leone and Peter Lee (Carnegie Mellon University, USA)

Dictionary-Free Overloading by Partial Evaluation

Mark P. Jones (Yale University, USA)

Partial Evaluation of Numerical Programs in Fortran

Romana Baier, Robert Glueck, and Robert Zoechling (Vienna University of Technology, Austria, and University of Copenhagen, Denmark)

Partial Evaluation for Scientific Computing: The Supercomputer Toolkit

Experience Andrew A. Berlin and Rajeev J. Surati (MIT, USA)

PEPM'94 is held in conjunction with the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation (PLDI) and the 1994 ACM Conference on Lisp and Functional Programming (LFP).

PEPM'94 Program committee:

• Charles Consel, IRISA, Rennes, France
• John Gallagher, Bristol University, UK
• John Hannan, Pennsylvania State University, PA
• John Hughes, Chalmers, Gothenburg, Sweden
• Neil D. Jones, DIKU, Denmark
• Patrick O'Keefe, Boston, MA
• Sergei Romanenko, Academy of Sciences, Russia
• Erik Ruf, Microsoft Research Laboratory, WA
• Pascal Van Hentenryck, Brown University, RI
• Wei-Ngan Chin, National University of Singapore

• Peter Sestoft (sestoft@id.dtu.dk), Technical University of Denmark
• Harald Sondergaard (harald@cs.mu.oz.au), University of Melbourne, Australia