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

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