TY  - JOUR
AV  - none
TI  - A Survey of Constraint-based Programming
Paradigms.
UR  - http://www.sciencedirect.com/science/article/B8JDG-4TPWW4R-1/2/b18c01b6493865aa7c4a84182981bef0
SN  - 1574-0137
N2  - Constraints support a programming style featuring declarative description and effective solving of several classes of problems. Unlike basic primitives of other programming languages, constraints do not specify computing operations, but rather the properties of a solution to be found. In this paper, we give a survey of the main formalisms based on constraints: Constraint Satisfaction Problems, Constraint Logic Programming and Concurrent Constraint Programming. We outline recent extensions of these approaches and we discuss ongoing trends of research.
N1  - Copyright © 2008 Elsevier Inc. All rights reserved. 
ID  - eprints121
EP  - 141
Y1  - 2008///
IS  - 3
JF  - Computer Science Review
A1  - Buscemi, Maria Grazia
A1  - Montanari, Ugo
PB  - Elsevier
SP  - 137
VL  - 2
ER  -