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. Technical Report 94/9. University of Melbourne, Australia, Department of Computer Science 1994

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
• Olivier Danvy, Karoline Malmkjær, Jens Palsberg: The Essence of Eta-Expansion in Partial Evaluation. 11-20
• Leonidas Fegaras, Tim Sheard, Tong Zhou: Improving Programs Which Recurse over Multiple Inductive Structures. 21-32

Program Analyses - Theory

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

Program Analyses - Applications

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

Applications

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

Last update Thu May 23 02:58:30 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page