1 | -- | 2 | Moreno Falaschi, Michael J. Maher. Introduction Special Issue on Multiparadigm Languages and Constraint Programming |
3 | -- | 35 | María Alpuente, Santiago Escobar, Salvador Lucas. Removing redundant arguments automatically |
37 | -- | 65 | Marco Cadoli, Toni Mancini. Combining relational algebra, SQL, constraint modelling, and local search |
67 | -- | 91 | Giorgio Delzanno. Constraint-based automatic verification of abstract models of multithreaded programs |
93 | -- | 121 | Petra Hofstedt, Peter Pepper. Integration of declarative and constraint programming |
123 | -- | 151 | Ivan Lanese, Ugo Montanari. Mapping Fusion and Synchronized Hyperedge Replacement into logic programming |
153 | -- | 182 | Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro. Demand analysis with partial predicates |
183 | -- | 213 | Miguel Palomino. A comparison between two logical formalisms for rewriting |
215 | -- | 247 | Josep Silva, Germán Vidal. Forward slicing of functional logic programs by partial evaluation |