An incremental constraint solver
Communications of the ACM
Communications of the ACM
ConstraintLisp: an object-oriented constraint programming language
ACM SIGPLAN Notices
Concurrent constraint programming
Concurrent constraint programming
Skyblue: a multi-way local propagation constraint solver for user interface construction
UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
Helios: a modeling language for global optimization and its implementation in Newton
Theoretical Computer Science - Special issue: principles and practice of constraint programming
Newton—constraint programming over nonlinear constraints
Science of Computer Programming - Special issue on concurrent constraint programming
The object data standard: ODMG 3.0
The object data standard: ODMG 3.0
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Constraint Databases
Some Challenges for Constraint Programming
Constraints
Specification Based Testing: Towards Practice
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Constraint Processing
Constraint-based test data generation in the presence of stack-directed pointers
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Collaborative Software Engineering Using Metamodel-Driven Approach
WETICE '07 Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Exploiting Common Subexpressions in Numerical CSPs
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Learning SQL
A survey of constraint-based programming paradigms
Computer Science Review
Holography map for home robot: an object-oriented approach
Intelligent Service Robotics
Hi-index | 0.00 |
The paper is devoted to the implementation of the paradigm of the object-oriented constraint programming (OOCP), which combines complementary ideas and principles of the object-oriented programming (OOP) and constraint logical programming (CLP). Although the idea looks attractive and there have been attempts to implement it with the use of logical and functional languages, its future outline is still not clear. In the paper, a survey of the existing technologies of the constraint programming is given, and a new systematic approach to the implementation of the object-oriented constraint programming based on the use of declarative data modeling languages is discussed. The advantages of the approach related to the expressiveness and generality of the constraint problem declarations are demonstrated on the example of the classical mathematical queen problem. A general algorithmic strategy of solving the constraint problems is also discussed.