Abstract is missing.
- Declarative programming for verification: lessons and outlookMichael Leuschel. 1-7 [doi]
- The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for securityCarlos Olarte, Frank D. Valencia. 8-19 [doi]
- Parallel execution of multi-set constraint rewrite rulesMartin Sulzmann, Edmund S. L. Lam. 20-31 [doi]
- Comparing tag scheme variations using an abstract machine generatorJosé F. Morales, Manuel Carro, Manuel V. Hermenegildo. 32-43 [doi]
- Galculator : functional prototype of a Galois-connection based proof assistantPaulo F. Silva, José Nuno Oliveira. 44-55 [doi]
- Declarative Ajax and client side evaluation of workflows using iTasksMarinus J. Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten. 56-66 [doi]
- Call pattern analysis for functional logic programsMichael Hanus. 67-78 [doi]
- Characterizations of polynomial complexity classes with a better intensionalityJean-Yves Marion, Romain Péchoux. 79-88 [doi]
- Fixed point semantics and partial recursion in CoqYves Bertot, Vladimir Komendantsky. 89-96 [doi]
- Semantically linear programming languagesLuca Paolini, Mauro Piccolo. 97-107 [doi]
- Order-sorted dependency pairsSalvador Lucas, José Meseguer. 108-119 [doi]
- Macros for context-free grammarsPeter Thiemann, Matthias Neubauer. 120-130 [doi]
- Pattern by example: type-driven visual programming of XML queriesVéronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon. 131-142 [doi]
- Inferring precise polymorphic type dependencies in logic programsLunjin Lu. 143-151 [doi]
- A type system for safe memory management and its proof of correctnessManuel Montenegro, Ricardo Pena, Clara Segura. 152-162 [doi]
- Programming with proofs and explicit contextsBrigitte Pientka, Joshua Dunfield. 163-173 [doi]
- Towards execution time estimation in abstract machine-based languagesEdison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo. 174-184 [doi]
- Similarity-based reasoning in qualified logic programmingRafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz. 185-194 [doi]
- Classifying integrity checking methods with regard to inconsistency toleranceHendrik Decker, Davide Martinenghi. 195-204 [doi]
- Comprehending finite maps for algorithmic debugging of higher-order functional programsOlaf Chitil, Thomas Davie. 205-216 [doi]
- A rewriting framework for the composition of access control policiesClara Bertolissi, Maribel Fernández. 217-225 [doi]
- Global difference constraint propagation for finite domain solversThibaut Feydy, Andreas Schutt, Peter J. Stuckey. 226-235 [doi]
- Model-driven constraint programmingRaphaël Chenouard, Laurent Granvilliers, Ricardo Soto. 236-246 [doi]
- Dynamic variable elimination during propagation solvingChristian Schulte, Peter J. Stuckey. 247-257 [doi]
- Cooperation of constraint domains in the ::::TOY:::: systemSonia 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. 258-268 [doi]