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 |
Symposium Program
Tuesday 15 July
| 09:00 | Invited Talk (Chair: Elvira Albert) Michael Leuschel Declarative Programming for Verification: Lessons and Outlook (PPDP invited talk) |
| Short break | |
| 10:15 | Session 1 - Concurrency and Parallelism (Chair: Maurice
Bruynooghe) Carlos Olarte and Frank D. Valencia On the Expressiveness and Semantics of Universal Timed Concurrent Constraint Programming |
| Martin Sulzmann and Edmund Lam Parallel Execution of Multi-Set Constraint Rewrite Rules |
|
| Coffee break | |
| 11:45 | Session 2 - Environments and Implementations (Chair: Michael Hanus) José Morales, Manuel Carro and Manuel Hermenegildo. Comparing Tag Scheme Variations Using an Abstract Machine Generator |
| Paulo F. Silva and Jose Oliveira 'Galculator': Functional prototype of a Galois-connection based proof assistant |
|
| Rinus Plasmeijer, Jan Martin Jansen, Pieter Koopman and Peter Achten Declarative Ajax and Client Side Evaluation of Workflows using iTasks |
|
| 13:30 | Lunch |
| 15:00 | Session 3 - Theory and Semantics (Chair: Manuel Hermenegildo) Michael Hanus Call Pattern Analysis for Functional Logic Programs |
| Romain Pechoux and Jean-Yves Marion Characterizations of polynomial complexity with a better intensionality |
|
| Coffee break | |
| 16:30 | Session 4 - Theory and Semantics (Chair: Ricardo Pena) Yves Bertot and Vladimir Komendantsky Fixed point semantics and partial recursion in Coq |
| Mauro Piccolo and Luca Paolini Semantically Linear Programming Languages |
|
| Salvador Lucas and Jose Meseguer Order-Sorted Dependency Pairs |
|
Wednesday 16 July
| 09:00 | Roberto Giacobazzi TBA (SAS invited talk) |
| Short break | |
| 10:15 | Session 5 - Language Issues (Chair: Salvador Lucas) Peter Thiemann and Matthias Neubauer Macros for Context-Free Grammars |
| Veronique Benzaken, Giuseppe Castagna, Dario Colazzo and Cedric Miachon Pattern by Example: type-driven visual programming of XML queries |
|
| Coffee break | |
| 11:45 | Session 6 - Language Issues (Chair: John Gallagher) Lunjin Lu Inferring Precise Polymorphic Type Dependencies in Logic Programs |
| Manuel Montenegro, Ricardo Pena and Clara Segura A Type System for Safe Memory Management and its Proof of Correctness |
|
| Brigitte Pientka and Joshua Dunfield Programming with proofs and explicit contexts |
|
| 13:30 | Lunch |
| 15:00 | Session 7 - Reasoning (Chair: Puri Arenas) Edison Mera, Pedro Lopez-Garcia, Manuel Carro and Manuel Hermenegildo Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages |
| Rafael Caballero, Mario Rodríguez Artalejo and Carlos A. Romero-DÃaz Similarity-based Reasoning in Qualified Logic Programming |
|
| Coffee break |
|
| 16:30 | Session 8 - Debugging and Checking (Chair: Mario Rodríguez-Artalejo) Hendrik Decker and Davide Martinenghi Classifying Integrity Checking Methods with regard to Inconsistency Tolerance |
| Olaf Chitil and Thomas Davie Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs |
|
| Clara Bertolissi and Maribel Fernandez A rewriting framework for the composition of access control policies |
|
Thursday 17 July
| 09:00 | Peter O'Hearn TBA (LOPSTR invited talk) |
| Short break | |
| 10:15 | Session 9 - Constraints (Chair: Joxan Jaffar) Thibaut Feydy, Andreas Schutt and Peter Stuckey Global Difference Constraint Propagation for Finite Domain Solvers |
| Raphaël Chenouard, Laurent Granvilliers and Ricardo Soto Model-Driven Constraint Programming |
|
| Coffee break | |
| 11:45 | Session 10 - Constraints (Chair: German Vidal) Christian Schulte and Peter Stuckey Dynamic Variable Elimination during Propagation Solving |
| Sonia Estevez, Antonio J. Fernandez, Teresa Hortala Gonzalez, Mario Rodriguez Artalejo, Fernando Saenz-Perez and Rafael del Vado Virseda. Cooperation of Constraint Domains in the TOY System |
|
| 13:30 | Lunch |
| Excursion and social dinner |