PEPM 1994: Orlando, Florida

PEPM'94 - ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Walt Disney World Vilage, Orlando, Florida, USA, 25 June 1994, Proceedings. University of Melbourne, Australia, Department of Computer Science, Technical Report 94/9

PEPM'94 was 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).

Partial Evaluation, Transformation

• Anders Bondorf, Dirk Dussart: Improving CPS-Based Partial Evaluation: Writing Cogen by Hand. 1-9 BibTeX
• Olivier Danvy, Karoline Malmkjær, Jens Palsberg: The Essence of Eta-Expansion in Partial Evaluation. 11-20 BibTeX
• Leonidas Fegaras, Tim Sheard, Tong Zhou: Improving Programs Which Recurse over Multiple Inductive Structures. 21-32 BibTeX

Program Analyses - Theory

• Simon Courtenage, Chris D. Clack: Analysing Resource Use in the Lambda Calculus by Type Inference. 33-41 BibTeX
• Clement A. Baker-Finch: Type Theory and Projections for Higher-Order Static Analysis. 43-52 BibTeX
• Kei Davis: PERs from Projections for Binding-Time Analysis. 53-60 BibTeX

Program Analyses - Applications

• Lars Birkedal, Morten Welinder: Binding-Time Analysis for Standard ML. 61-71 BibTeX
• Peter Thiemann: Higher-Order Redundancy Elimination. 73-83 BibTeX
• Jeffrey Dean, Craig Chambers, David Grove: Identifying Profitable Specialization in Object-Oriented Languages. 85-96 BibTeX

Applications

• Mark Leone, Peter Lee: Lightweight Run-Time Code Generation. 97-106 BibTeX
• Mark P. Jones: Dictionary-Free Overloading by Partial Evaluation. 107-117 BibTeX
• Romana Baier, Robert Glück, Robert Zöchling: Partial Evaluation of Numerical Programs in Fortran. 119-132 BibTeX
• Andrew A. Berlin, Rajeev J. Surati: Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience. 133-141 BibTeX