О комплементарных принципах объектно-ориентированного программирования в ограничениях
14 сентября 2018
248
Предметная область | — |
Выходные данные | — |
Ключевые слова | — |
Вид публикации | Статья |
Контактные данные автора публикации | В.А. Семенов, К.В. Драгалов, Д.В. Ильин, С.В. Морозов, О.В. Сидяка |
Ссылка на публикацию в интернете | www.ispras.ru/publications/2010/on_complementary_principles_of_object_oriented_constraint_programming/ |
Аннотация
Статья посвящена проблемам реализации парадигмы объектно-ориентированного программирования в ограничениях (OOCP), сочетающей в себе комплементарные идеи и принципы объектно-ориентированного программирования (OOP) и логического программирования в ограничениях (CLP). Несмотря на привлекательность идеи и известные попытки ее реализации с использованием логических и функциональных языков, до сих пор не существует единого понимания, какие конструктивные очертания она приобретет при дальнейшей проработке и развитии. Приводится обзор существующих технологий программирования в ограничениях, а также обсуждается новый системный подход к реализации OOCP на основе использования декларативных языков моделирования данных. На примере классической математической задачи о ферзях показываются преимущества подхода, связанные с выразительностью и универсальностью описания задач в ограничениях, а также определяется общая алгоритмическая стратегия для их решения.
ПодробнееДля того чтобы оставить комментарий необходимо авторизоваться.