| 2008 | 'Galculator': functional prototype of a Galois-connection based proof assistant. Paulo F. Silva, José Nuno Oliveira |
| 2008 | A rewriting framework for the composition of access control policies. Clara Bertolissi, Maribel Fernández |
| 2008 | A type system for safe memory management and its proof of correctness. Manuel Montenegro, Ricardo Pena, Clara Segura |
| 2008 | Call pattern analysis for functional logic programs. Michael Hanus |
| 2008 | Characterizations of polynomial complexity classes with a better intensionality. Jean-Yves Marion, Romain Péchoux |
| 2008 | Classifying integrity checking methods with regard to inconsistency tolerance. Hendrik Decker, Davide Martinenghi |
| 2008 | Comparing tag scheme variations using an abstract machine generator. José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | Comprehending finite maps for algorithmic debugging of higher-order functional programs. Olaf Chitil, Thomas Davie |
| 2008 | Cooperation of constraint domains in the 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 |
| 2008 | Declarative Ajax and client side evaluation of workflows using iTasks. Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten |
| 2008 | Declarative programming for verification: lessons and outlook. Michael Leuschel |
| 2008 | Dynamic variable elimination during propagation solving. Christian Schulte, Peter J. Stuckey |
| 2008 | Fixed point semantics and partial recursion in Coq. Yves Bertot, Vladimir Komendantsky |
| 2008 | Global difference constraint propagation for finite domain solvers. Thibaut Feydy, Andreas Schutt, Peter J. Stuckey |
| 2008 | Inferring precise polymorphic type dependencies in logic programs. Lunjin Lu |
| 2008 | Macros for context-free grammars. Peter Thiemann, Matthias Neubauer |
| 2008 | Model-driven constraint programming. Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto |
| 2008 | Order-sorted dependency pairs. Salvador Lucas, José Meseguer |
| 2008 | Parallel execution of multi-set constraint rewrite rules. Martin Sulzmann, Edmund S. L. Lam |
| 2008 | Pattern by example: type-driven visual programming of XML queries. Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon |
| 2008 | Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain Sergio Antoy, Elvira Albert |
| 2008 | Programming with proofs and explicit contexts. Brigitte Pientka, Jana Dunfield |
| 2008 | Semantically linear programming languages. Luca Paolini, Mauro Piccolo |
| 2008 | Similarity-based reasoning in qualified logic programming. Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
| 2008 | The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. Carlos Olarte, Frank D. Valencia |
| 2008 | Towards execution time estimation in abstract machine-based languages. Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo |