PPDP 2008:
Valencia, Spain
Sergio Antoy, Elvira Albert (Eds.):
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain.
ACM 2008, ISBN 978-1-60558-117-0
- Michael Leuschel:
Declarative programming for verification: lessons and outlook.
1-7

Concurrency & parallelism
Theory & semantics
Theory & semantics
Language issues
Reasoning
Debugging and checking
Constraints
- Thibaut Feydy, Andreas Schutt, Peter J. Stuckey:
Global difference constraint propagation for finite domain solvers.
226-235

- Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto:
Model-driven constraint programming.
236-246

- Christian Schulte, Peter J. Stuckey:
Dynamic variable elimination during propagation solving.
247-257

- 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

Last update Tue May 21 17:52:22 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page