PEPM 2002: Portland, OR, USA

Invited Talk

• Craig Chambers:
  Staged compilation. 1-8
  Electronic Edition (ACM DL) BibTeX

Session 1

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

Session 2

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

Session 3

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

Invited Talk

• Christian H. Bischof, Paul D. Hovland, Boyana Norris:
  Implementation of automatic differentiation tools. 98-107
  Electronic Edition (ACM DL) BibTeX

Session 4

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