PEPM 1992: San Francisco, California

PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Fairmont Hotel, San Francisco, CA, USA, June 19-20, 1992, Proceedings. Yale University, TR YALEU/DCS/RR-909

Lars Ole Andersen, Carsten K. Gomard: Speedup Analysis in Partial Evaluation: Preliminary Results. 1-7
Karoline Malmkjær: Predicting Properties of Residual Programs. 8-13
Babak Dehbonei, Pierre Jouvelot: Semantical Interprocedural Analysis by Partial Symbolic Evaluation. 14-20
Bernhard Rytz, Marc Gengler: A Polyvariant Binding Time Analysis. 21-28
Morry Katz, Daniel Weise: Towards a New Perspective on Partial Evaluation. 29-37
Wei-Ngan Chin: Fully Lazy Higher-Order Removal. 38-47
David Sherman, Robert Strandh: Call Unfolding Strategies for Equational Logic Programs. 48-53
Lars Ole Andersen: Self-applicable C Program Specialization. 54-61
Charles Consel, Satish Pai: A Programming Environment for Binding-time Based Partial Evaluators. 62-66
Erik Ruf, Daniel Weise: Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. 67-74
Thomas Cheatham, Dan C. Stefanescu: A Suite of Optimizers Based on Abstract Interpretation. 75-81
Sheila Harnett, Margaret Montenyohl: Towards Efficient Compilation of a Dynamic Object-Oriented Language. 82-89
C. T. P. Burton: Program Transformation by Derivor Manipulations. 90-97
John Field: A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. 98-107
Khaled Bsaïes: A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. 108-115
Torben Æ. Mogensen: Self-applicable Partial Evaluation for Pure Lambda Calculus. 116-121