PEPM 2004: Verona, Italy

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

Last update Fri May 24 15:12:55 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page