PPDP 2004: Verona, Italy

• Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
  Invited talk: the blast query language for software verification. 1-2
  
• Sheila A. McIlraith:
  Invited talk: towards declarative programming for web services. 3-4
  
• J. Gregory Morrisett:
  Invited talk: what's the future for proof-carrying code? 5
  
• Ehud Y. Shapiro:
  Invited talk: injecting life with computers. 6
  
• Yannis Smaragdakis:
  Invited talk: program generators and the tools to make them. 7-8
  
• José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas:
  A logic programming approach to the verification of functional-logic programs. 9-19
  
• Berndt Farwer, Michael Leuschel:
  Model checking object petri nets in prolog. 20-31
  
• Sava Krstic, John Matthews:
  Semantics of the reFL^ect language. 32-42
  
• Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
  A lazy narrowing calculus for declarative constraint programming. 43-54
  
• Carlos Camarão, Lucília Figueiredo, Cristiano Vasconcellos:
  Constraint-set satisfiability for overloading. 67-77
  
• Konstantinos F. Sagonas, Peter J. Stuckey:
  Just enough tabling. 78-89
  
• Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato:
  Semi-naive evaluation in linear tabling. 90-97
  
• Sergio Flesca, Sergio Greco, Ester Zumpano:
  Active integrity constraints. 98-107
  
• Maribel Fernández, Murdoch Gabbay, Ian Mackie:
  Nominal rewriting systems. 108-119
  
• Mircea Marin, Aart Middeldorp:
  New completeness results for lazy conditional narrowing. 120-131
  
• Sébastien Carlier, J. B. Wells:
  Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. 132-143
  
• Sergio Antoy, Stephen Johnson:
  Formalization and abstract implementation of rewriting with nested rules. 144-154
  
• Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne:
  Characterizing strong normalization in a language with control operators. 155-166
  
• Luigi Liquori, Bernard P. Serpette:
  iRho: an imperative rewriting calculus. 167-178
  
• Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal:
  A semantics for tracing declarative multi-paradigm programs. 179-190
  
• Kohei Honda, Nobuko Yoshida:
  A compositional logic for polymorphic higher-order functions. 191-202
  
• Manuel Serrano, Frédéric Boussinot, Bernard P. Serpette:
  Scheme fair threads. 203-214
  
• Nick Benton, Andrew Kennedy, Claudio V. Russo:
  Adventures in interoperability: the SML.NET experience. 215-226
  
• J. Rajesh, D. Janakiram:
  JIAD: a tool to infer design patterns in refactoring. 227-237
  
• Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello:
  Event choice datalog: a logic programming language for reasoning in multiple dimensions. 238-249