PPDP 2005: Lisbon, Portugal

• Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla:
  Abstraction carrying code and resource-awareness. 1-11
  Electronic Edition (ACM DL) BibTeX
• Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu:
  A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. 12-22
  Electronic Edition (ACM DL) BibTeX
• Stephen-John Craig, Michael Leuschel:
  Self-tuning resource aware specialisation for prolog. 23-34
  Electronic Edition (ACM DL) BibTeX
• Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins:
  Monadic concurrent linear logic programming. 35-46
  Electronic Edition (ACM DL) BibTeX
• Maribel Fernández, Murdoch Gabbay:
  Nominal rewriting with name generation: abstraction vs. locality. 47-58
  Electronic Edition (ACM DL) BibTeX
• Yuki Chiba, Takahito Aoto, Yoshihito Toyama:
  Program transformation by templates based on term rewriting. 59-69
  Electronic Edition (ACM DL) BibTeX
• Pawel T. Wojciechowski:
  Isolation-only transactions by typing and versioning. 70-81
  Electronic Edition (ACM DL) BibTeX
• Louis Mandel, Marc Pouzet:
  ReactiveML: a reactive extension to ML. 82-93
  Electronic Edition (ACM DL) BibTeX
• Murdoch Gabbay:
  A new calculus of contexts. 94-105
  Electronic Edition (ACM DL) BibTeX
• Aaron Tomb, Cormac Flanagan:
  Automatic type inference via partial evaluation. 106-116
  Electronic Edition (ACM DL) BibTeX
• Diptikalyan Saha, C. R. Ramakrishnan:
  Incremental and demand-driven points-to analysis using logic programming. 117-128
  Electronic Edition (ACM DL) BibTeX
• Xuan Li, Lunjin Lu:
  Inverting abstract unification for set-sharing. 129-138
  Electronic Edition (ACM DL) BibTeX
• Christian Skalka:
  Trace effects and object orientation. 139-150
  Electronic Edition (ACM DL) BibTeX
• John C. Mitchell:
  Security analysis of network protocols: logical and computational methods. 151-152
  Electronic Edition (ACM DL) BibTeX
• Rachid Echahed, Frédéric Prost:
  Security policy in a declarative style. 153-163
  Electronic Edition (ACM DL) BibTeX
• Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat:
  Timed constraint programming: a declarative approach to usage control. 164-175
  Electronic Edition (ACM DL) BibTeX
• Daniel Luna, Mikael Pettersson, Konstantinos F. Sagonas:
  Efficiently compiling a functional language on AMD64: the HiPE experience. 176-186
  Electronic Edition (ACM DL) BibTeX
• Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles:
  Formal validation of pattern matching code. 187-197
  Electronic Edition (ACM DL) BibTeX
• Giuseppe Castagna, Alain Frisch:
  A gentle introduction to semantic subtyping. 198-199
  Electronic Edition (ACM DL) BibTeX
• Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo:
  A compositional semantics for CHR. 209-217
  Electronic Edition (ACM DL) BibTeX
• Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck:
  Abstract interpretation for constraint handling rules. 218-229
  Electronic Edition (ACM DL) BibTeX
• Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
  Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). 230-241
  Electronic Edition (ACM DL) BibTeX
• Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu:
  Optimization with mode-directed preferences. 242-251
  Electronic Edition (ACM DL) BibTeX