АЛГЕБРАИЧЕСКИЙ ПОДХОД К РЕШЕНИЮ НЕКОТОРЫХ ЗАДАЧ РЕФАКТОРИНГА

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

• Махортов С.Д.
• Погореленко В.А.

• Прикладные науки. Медицина. Технология

• Технические науки. Промышленность
• Физико-математические науки