|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данныхстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Семенов В.А., Ильин Д.В., Морозов С.В., Сидяка О.В.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 19
- Год издания: 2010
- Первая страница: 95
- Последняя страница: 116
- Аннотация: Объектно-ориентированное программирование в ограничениях (OOCP) сочетает две ортогональные, но комплементарные парадигмы программирования, а именно: объектно-ориентированное программирование (OOP) и логическое программирование в ограничениях (CLP). Несмотря на привлекательность идеи синтеза парадигм и известные попытки реализации, до сих пор не существует единого понимания, какие конструктивные очертания она может приобрести при дальнейшей проработке и развитии. Ключевыми вопросами при этом остаются выразительность описания прикладной задачи в ограничениях и ее алгоритмическая разрешимость. В настоящей работе предлагается и обсуждается новый системный подход к реализации OOCP на основе использования декларативных языков моделирования данных.
- Добавил в систему: Морозов Сергей Вячеславович