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
Principles and Practice of Declarative Programming
| Overview | |
| Call for Papers | |
| » | Important Dates |
| » | Program Committee |
| » | Invited Speakers |
| Submissions | |
| Schedule | |
| Registration | |
| Accommodation | |
| Past PPDPs | |
| Organization | |
| Colocated events | |
| » | SAS 2008 |
| » | LOPSTR 2008 |
| » | PLID 08 |
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 |