PEPM 2004: Verona, Italy

• Sheila A. McIlraith:
  Invited talk: towards declarative programming for web services. 1-2
  Electronic Edition (ACM DL) BibTeX
• Kenichi Asai:
  Offline partial evaluation for shift and reset. 3-14
  Electronic Edition (ACM DL) BibTeX
• Armin Rigo:
  Representation-based just-in-time specialization and the psyco prototype for python. 15-26
  Electronic Edition (ACM DL) BibTeX
• Helle Markmann Andersen, Ulrik Pagh Schultz:
  Declarative specialization for object-oriented-program specialization. 27-38
  Electronic Edition (ACM DL) BibTeX
• Gustavo J. Bobeff, Jacques Noyé:
  Component specialization. 39-50
  Electronic Edition (ACM DL) BibTeX
• Robert L. Akers, Ira D. Baxter, Michael Mehlich:
  Invited application paper: re-engineering C++ components via automatic program transformation. 51-55
  Electronic Edition (ACM DL) BibTeX
• Gary Daugherty:
  Invited application paper: a proposal for the specialization of HA/DRE systems. 56-67
  Electronic Edition (ACM DL) BibTeX
• Sam Kamin:
  Invited application paper: program generation considered easy. 68-79
  Electronic Edition (ACM DL) BibTeX
• Julia L. Lawall, Gilles Muller, Hervé Duchesne:
  Invited application paper: language design for implementing process scheduling hierarchies. 80-91
  Electronic Edition (ACM DL) BibTeX
• Yannis Smaragdakis, Shan Shan Huang, David Zook:
  Program generators and the tools to make them. 92-100
  Electronic Edition (ACM DL) BibTeX
• Susumu Nishimura:
  Fusion with stacks and accumulating parameters. 101-112
  Electronic Edition (ACM DL) BibTeX
• Søren Debois:
  Imperative program optimization by partial evaluation. 113-122
  Electronic Edition (ACM DL) BibTeX
• Claudio Ochoa, Josep Silva, Germán Vidal:
  Dynamic slicing based on redex trails. 123-134
  Electronic Edition (ACM DL) BibTeX
• Corneliu Popeea, Wei-Ngan Chin:
  A type system for resource protocol verification and its correctness proof. 135-146
  Electronic Edition (ACM DL) BibTeX
• Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain:
  Proving termination of membership equational programs. 147-158
  Electronic Edition (ACM DL) BibTeX
• Alberto Pettorossi, Maurizio Proietti:
  A theory of totally correct logic program transformations. 159-168
  Electronic Edition (ACM DL) BibTeX
• Jarle Hulaas, Walter Binder:
  Program transformations for portable CPU accounting and control in Java. 169-177
  Electronic Edition (ACM DL) BibTeX
• Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi:
  A programmable editor for developing structured documents based on bidirectional transformations. 178-189
  Electronic Edition (ACM DL) BibTeX
• Steve Barker, Michael Leuschel, Mauricio Varea:
  Efficient and flexible access control via logic program specialisation. 190-199
  Electronic Edition (ACM DL) BibTeX
• Ehud Y. Shapiro:
  Invited talk: injecting life with computers. 200
  Electronic Edition (ACM DL) BibTeX
• J. Gregory Morrisett:
  Invited talk: what's the future for proof-carrying code? 203
  Electronic Edition (ACM DL) BibTeX
• Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
  Invited talk: the blast query language for software verification. 201-202
  Electronic Edition (ACM DL) BibTeX