Алгебраические модели иерархий типов для проектирования и рефакторинга

Автор: Махортов С.Д., Шурлин М.Д.

Журнал: Онтология проектирования @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.
Статья научная