Алгебраические модели иерархий типов для проектирования и рефакторинга
Автор: Махортов С.Д., Шурлин М.Д.
Журнал: Онтология проектирования @ontology-of-designing
Статья в выпуске: 1 (3) т.2, 2012 года.
Бесплатный доступ
При проектировании и модернизации объектно-ориентированных информационных систем оказы- ваются полезными алгебраические методы. Такие методы, в частности, могут служить основой для верификации и оптимизации программного кода. В настоящей работе рассматривается класс основанных на решетках алгебраических структур, описывающих иерархию типов в объектно- ориентированном программировании. Исследуются свойства таких структур, включая замкну- тость, эквивалентность преобразований, существование логической редукции. Методология пред- назначена для верификации и модернизации иерархий типов, важным направлением которой яв- ляется автоматизированное устранение избыточности кода
Иерархия типов, алгебраическая система, проектирование, рефакторинг
Короткий адрес: https://sciup.org/170178644
IDR: 170178644
Список литературы Алгебраические модели иерархий типов для проектирования и рефакторинга
- Подловченко Р.И. Иерархия моделей программ // Программирование. 1981. № 2. - С. 3-14.
- Замулин А.В. Алгебраическая семантика императивного языка программирования // Программирование. 2003. № 6. - С. 51-64.
- Davis R., King J. An overview of production systems // Machine Intelligence. - Chichester: Ellis Horwood Limited, 1977. Vol. 8. - P. 300-332.
- Махортов С.Д., Подвальный С.Л. Алгебраический подход к исследованию и оптимизации баз знаний продукционного типа // Информационные технологии. 2008. № 8. - C. 55-60.
- Махортов С.Д. LP-структуры на решетках типов и некоторые задачи рефакторинга // Программирование. 2009. Т. 35. № 4. - С. 5-14.
