Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 1 2013 год

УДК: 519.681
Редукция LP-структур для автоматизации рефакторинга в объектно-ориентированных системах
М. Д. Шурлин, аспирант, Воронежский государственный университет, e-mail: mshurlin@gmail.com

Рассматривается класс основанных на решетках алгебраических структур, описывающих семантику иерархии типов в объектно-ориентированной системе. Исследуются свойства таких структур, включая существование логической редукции. Методология предназначена для верификации и модернизации иерархий типов, важным направлением которой является устранение избыточности кода. Впервые приводятся доказательства полученных результатов.

Ключевые слова: иерархия типов, рефакторинг, алгебраическая модель, совмещение атрибутов
Стр. 42–47