Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных
Jazyk: | ruština |
---|---|
Rok vydání: | 2010 |
Předmět: | |
Zdroj: | Труды Института системного программирования РАН. |
ISSN: | 2220-6426 2079-8156 |
Popis: | Объектно-ориентированное программирование в ограничениях (OOCP) сочетает две ортогональные, но комплементарные парадигмы программирования, а именно: объектно-ориентированное программирование (OOP) и логическое программирование в ограничениях (CLP). Несмотря на привлекательность идеи синтеза парадигм и известные попытки реализации, до сих пор не существует единого понимания, какие конструктивные очертания она может приобрести при дальнейшей проработке и развитии. Ключевыми вопросами при этом остаются выразительность описания прикладной задачи в ограничениях и ее алгоритмическая разрешимость. В настоящей работе предлагается и обсуждается новый системный подход к реализации OOCP на основе использования декларативных языков моделирования данных. |
Databáze: | OpenAIRE |
Externí odkaz: |