УДК 007:681.512.2
ОПТИМИЗИРУЮЩАЯ УНИФИКАЦИЯ СЛОЖНЫХ ПРОГРАММ
И. Ю. Каширин, д.т.н., профессор кафедры ВПМ РГРТУ, Рязань, Россия; Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
С. И. Лаврентьев, к.т.н., доцент кафедры ВПМ РГРТУ, Рязань, Россия; Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
И. Ю. Филатов, к.т.н., доцент кафедры ВПМ РГРТУ, Рязань, Россия; Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
Рассматривается концепция применения современной теории унификации на множестве термов формальных программных машин, состоящих из системы алгоритмических алгебр. Такой формализм дает возможность строгого математического описания известного языкового программного инструментария для анализа, автоматического синтеза и оптимизации программного кода. Показано, что новый модифицированный алгоритм унификации не уступает ранее созданным алгоритмам, но обладает возможностью его применения при проектировании сложных программных систем, создаваемых с применением современных языков программирования. Целью работы является построение нового алгоритма унификации формальных описаний программ, кодируемых на основе современных языков программирования и автоматически оптимизируемых алгоритмом унификации.
Ключевые слова: теория унификации, формальные программные машины, алгоритмические алгебры, автоматизированное проектирование, эквивалентная трансформация программ, языки программирования.