Title :
Object-oriented constraint programming environment NeMo+ and its applications
Author :
Telerman, V. ; Sidorov, V. ; Ushakov, D.
Author_Institution :
AI Lab., Inst. of Inf. Syst., Novosibirsk, Russia
Abstract :
A constraint programming environment NeMo+, which is implemented on a base of a so-called subdefinite models approach is presented. Subdefinite models are a variety of constraint programming techniques. NeMo+ includes a high-level object-oriented declarative language for specification of data types and constraints. The method of subdefinite models is briefly reviewed in the first part of the paper. The NeMo+ architecture and the NeMo+ language are presented in the second part. The NeMo+ main capabilities in solving some problems and benchmarks are considered in the rest of the paper
Keywords :
abstract data types; constraint handling; formal specification; object-oriented languages; object-oriented programming; problem solving; programming environments; software performance evaluation; specification languages; NeMo+; benchmarks; data types; high-level object-oriented declarative language; object-oriented constraint programming environment; problem solving; specification; subdefinite models approach; Application software; Artificial intelligence; CADCAM; Computer aided manufacturing; Computer science; Informatics; Large-scale systems; Logic programming; Object oriented modeling; Programming environments;
Conference_Titel :
Tools with Artificial Intelligence, 1997. Proceedings., Ninth IEEE International Conference on
Conference_Location :
Newport Beach, CA
Print_ISBN :
0-8186-8203-5
DOI :
10.1109/TAI.1997.632269
