PEPM 2002: Portland, OR, USA

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002. SIGPLAN Notices 37(3), March 2002, ACM, ISBN 1-58113-455-X

Invited Talk

Craig Chambers:
Staged compilation. 1-8

Session 1

Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel:
Towards bridging the gap between programming languages and partial evaluation. 9-18
Kenichi Asai:
Online partial evaluation for shift and reset. 19-30
Claus Brabrand, Michael I. Schwartzbach:
Growing languages with metamorphic syntax macros. 31-40

Session 2

Jens P. Secher, Morten Heine Sørensen:
From checking to inference via driving and dag grammars. 41-51
Germán Vidal:
Cost-augmented narrowing-driven specialization. 52-62
Lunjin Lu:
Path dependent analysis of logic programs. 63-74

Session 3

Gustavo Gomez, Yanhong A. Liu:
Automatic time-bound analysis for a higher-order language. 75-86
Roberto Giacobazzi, Isabella Mastroeni:
Compositionality in the puzzle of semantics. 87-97

Invited Talk

Christian H. Bischof, Paul D. Hovland, Boyana Norris:
Implementation of automatic differentiation tools. 98-107

Session 4

Yanhong A. Liu, Scott D. Stoller:
Program optimization using indexed and recursive data structures. 108-118
Naren Ramakrishnan, Robert Capra, Manuel A. Pérez-Quiñones:
Mixed-initiative interaction = mixed computation. 119-130
Gilles Barthe, Tarmo Uustalu:
CPS translating inductive and coinductive types. 131-142

Last update Wed Feb 15 05:15:14 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page