TY  - JOUR
AV  - none
SP  - 137
EP  - 141
N1  - Copyright © 2008 Elsevier Inc. All rights reserved. 
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.
IS  - 3
VL  - 2
TI  - A Survey of Constraint-based Programming
Paradigms.
A1  - Buscemi, Maria Grazia
A1  - Montanari, Ugo
SN  - 1574-0137
UR  - http://www.sciencedirect.com/science/article/B8JDG-4TPWW4R-1/2/b18c01b6493865aa7c4a84182981bef0
PB  - Elsevier
ID  - eprints121
JF  - Computer Science Review
Y1  - 2008///
ER  -