Regular Papers
Introduction Special Issue on Multiparadigm Languages and Constraint Programming
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 1-2
-
- Article
- Export citation
Removing redundant arguments automatically
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 3-35
-
- Article
- Export citation
Combining relational algebra, SQL, constraint modelling, and local search*
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 37-65
-
- Article
- Export citation
Constraint-based automatic verification of abstract models of multithreaded programs
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 67-91
-
- Article
- Export citation
Integration of declarative and constraint programming
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 93-121
-
- Article
- Export citation
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming*
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 123-151
-
- Article
- Export citation
Demand analysis with partial predicates
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 153-182
-
- Article
- Export citation
A comparison between two logical formalisms for rewriting
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 183-213
-
- Article
- Export citation
Forward slicing of functional logic programs by partial evaluation*
-
- Published online by Cambridge University Press:
- 01 January 2007, pp. 215-247
-
- Article
- Export citation