PPDP 2008: Valencia, Spain

• Michael Leuschel:
  Declarative programming for verification: lessons and outlook. 1-7
  Electronic Edition (ACM DL) BibTeX

Concurrency & parallelism

• Carlos Olarte, Frank D. Valencia:
  The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. 8-19
  Electronic Edition (ACM DL) BibTeX
• Martin Sulzmann, Edmund S. L. Lam:
  Parallel execution of multi-set constraint rewrite rules. 20-31
  Electronic Edition (ACM DL) BibTeX

Theory & semantics

• José F. Morales, Manuel Carro, Manuel V. Hermenegildo:
  Comparing tag scheme variations using an abstract machine generator. 32-43
  Electronic Edition (ACM DL) BibTeX
• Paulo F. Silva, José Nuno Oliveira:
  'Galculator': functional prototype of a Galois-connection based proof assistant. 44-55
  Electronic Edition (ACM DL) BibTeX
• Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten:
  Declarative Ajax and client side evaluation of workflows using iTasks. 56-66
  Electronic Edition (ACM DL) BibTeX

Theory & semantics

• Michael Hanus:
  Call pattern analysis for functional logic programs. 67-78
  Electronic Edition (ACM DL) BibTeX
• Jean-Yves Marion, Romain Péchoux:
  Characterizations of polynomial complexity classes with a better intensionality. 79-88
  Electronic Edition (ACM DL) BibTeX
• Yves Bertot, Vladimir Komendantsky:
  Fixed point semantics and partial recursion in Coq. 89-96
  Electronic Edition (ACM DL) BibTeX
• Luca Paolini, Mauro Piccolo:
  Semantically linear programming languages. 97-107
  Electronic Edition (ACM DL) BibTeX
• Salvador Lucas, José Meseguer:
  Order-sorted dependency pairs. 108-119
  Electronic Edition (ACM DL) BibTeX

Language issues

• Peter Thiemann, Matthias Neubauer:
  Macros for context-free grammars. 120-130
  Electronic Edition (ACM DL) BibTeX
• Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon:
  Pattern by example: type-driven visual programming of XML queries. 131-142
  Electronic Edition (ACM DL) BibTeX
• Lunjin Lu:
  Inferring precise polymorphic type dependencies in logic programs. 143-151
  Electronic Edition (ACM DL) BibTeX
• Manuel Montenegro, Ricardo Pena, Clara Segura:
  A type system for safe memory management and its proof of correctness. 152-162
  Electronic Edition (ACM DL) BibTeX
• Brigitte Pientka, Joshua Dunfield:
  Programming with proofs and explicit contexts. 163-173
  Electronic Edition (ACM DL) BibTeX

Reasoning

• Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo:
  Towards execution time estimation in abstract machine-based languages. 174-184
  Electronic Edition (ACM DL) BibTeX
• Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
  Similarity-based reasoning in qualified logic programming. 185-194
  Electronic Edition (ACM DL) BibTeX

Debugging and checking

• Hendrik Decker, Davide Martinenghi:
  Classifying integrity checking methods with regard to inconsistency tolerance. 195-204
  Electronic Edition (ACM DL) BibTeX
• Olaf Chitil, Thomas Davie:
  Comprehending finite maps for algorithmic debugging of higher-order functional programs. 205-216
  Electronic Edition (ACM DL) BibTeX
• Clara Bertolissi, Maribel Fernández:
  A rewriting framework for the composition of access control policies. 217-225
  Electronic Edition (ACM DL) BibTeX

Constraints

• Thibaut Feydy, Andreas Schutt, Peter J. Stuckey:
  Global difference constraint propagation for finite domain solvers. 226-235
  Electronic Edition (ACM DL) BibTeX
• Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto:
  Model-driven constraint programming. 236-246
  Electronic Edition (ACM DL) BibTeX
• Christian Schulte, Peter J. Stuckey:
  Dynamic variable elimination during propagation solving. 247-257
  Electronic Edition (ACM DL) BibTeX
• Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda:
  Cooperation of constraint domains in the TOY system. 258-268
  Electronic Edition (ACM DL) BibTeX