15-17 July, 2008
Valencia, Spain
PPDP 2008
10th International ACM SIGPLAN Symposium on
Principles and Practice of Declarative Programming
Colocated with SAS 2008, LOPSTR 2008, and PLID 2008
Association for Computing Machinery

Accepted Papers

Veronique Benzaken, Giuseppe Castagna, Dario Colazzo and Cedric Miachon. Pattern by Example: type-driven visual programming of XML queries
Lunjin Lu. Inferring Precise Polymorphic Type Dependencies in Logic Programs
Olaf Chitil and Thomas Davie. Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs
Christian Schulte and Peter Stuckey. Dynamic Variable Elimination during Propagation Solving
Thibaut Feydy, Andreas Schutt and Peter Stuckey. Global Difference Constraint Propagation for Finite Domain Solvers
Romain Pchoux and Jean-Yves Marion. Characterizations of polynomial complexity with a better intensionality
rinus plasmeijer, Jan Martin Jansen, Pieter Koopman and Peter Achten. Declarative Ajax and Client Side Evaluation of Workflows using iTasks
Peter Thiemann and Matthias Neubauer. Macros for Context-Free Grammars
Yves Bertot and Vladimir Komendantsky. Fixed point semantics and partial recursion in Coq
Martin Sulzmann and Edmund Lam. Parallel Execution of Multi-Set Constraint Rewrite Rules
Raphaël Chenouard, Laurent Granvilliers and Ricardo Soto. Model-Driven Constraint Programming
Manuel Montenegro, ricardo pena and Clara Segura. A Type System for Safe Memory Management and its Proof of Correctness
Hendrik Decker and Davide Martinenghi. Classifying Integrity Checking Methods with regard to Inconsistency Tolerance
Mauro Piccolo and Luca Paolini. Semantically Linear Programming Languages
Salvador Lucas and Jose Meseguer. Order-Sorted Dependency Pairs
Edison Mera, Pedro Lopez-Garcia, Manuel Carro and Manuel Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages
Clara Bertolissi and Maribel Fernandez. A rewriting framework for the composition of access control policies
Michael Hanus. Call Pattern Analysis for Functional Logic Programs
Sonia Estévez, Antonio J. Fernández, Teresa Hortalá González, Mario Rodríguez Artalejo, Fernando Saenz-Perez and Rafael del Vado Vírseda. Cooperation of Constraint Domains  in the TOY System
Brigitte Pientka and Joshua Dunfield. Programming with proofs and explicit contexts
Rafael Caballero, Mario Rodrí­guez Artalejo and Carlos A. Romero-Díaz. Similarity-based Reasoning in Qualified Logic Programming
Paulo F. Silva and Jose Oliveira. 'Galculator': Functional prototype of a Galois-connection based proof assistant
Carlos Olarte and Frank D. Valencia. On the Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure Operators for Security
José Morales, Manuel Carro and Manuel Hermenegildo. Comparing Tag Scheme Variations Using an Abstract Machine Generator