I. Shvetsov, V. Telerman, and D. Ushakov. NeMo+ : Object-oriented constraint programming environment based on subdefinite models. In G. Smolka, editor, Artificial Intelligence and Symbolic Mathematical Computations, Lecture Notes in Computer Science, vol. 1330, pages 534--548, Berlin, 1997. Springer-Verlag. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Alma Project, or How First-Order Logic Can Help Us in.. - Apt, Schaerf (1999) (Correct)
....and are defined within a C class library. Thanks to the class encapsulation mechanism and the operator overloading capability of C , the user can see constraints almost as if they were a part of the language. A similar approach was independently taken in the NeMo programming environment of [18]. In our approach constraints are integrated into the imperative programming paradigm, as first class citizens of the language. The interaction between the constraint store and the program becomes then more transparent and conceptually simpler and the resulting constraint programs are in our ....
I. Shvetsov, V. Telerman, and D. Ushakov. NeMo+ : Object-oriented constraint programming environment based on subdefinite models. In G. Smolka, editor, Artificial Intelligence and Symbolic Mathematical Computations, Lecture Notes in Computer Science, vol. 1330, pages 534--548, Berlin, 1997. Springer-Verlag.
Integrating Constraints into an Imperative Programming Language - Apt, Schaerf (1998) (Correct)
....and are defined within a C class library. Thanks to the class encapsulation mechanism and the operator overloading capability of C , the user can see constraints almost as if they were a part of the language. A similar approach was independently taken in the NeMo programming environment (Shvetsov, Telerman Ushakov 1997). In this paper we consider a different approach and investigate how to integrate constraints directly into the imperative programming paradigm, as first class citizens of the language. We believe that in this approach the interaction between the constraint engine and the program becomes more ....
Shvetsov, I., Telerman, V. & Ushakov, D. (1997), NeMo+ : Object-oriented constraint programming environment based on subdefinite models, in G. Smolka, ed., `Artificial Intelligence and Symbolic Mathematical Computations', Lecture Notes in Computer Science, vol. 1330, Springer-Verlag, Berlin, pp. 534--548.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC