Тип публикации: патент
Год издания: 2018
Аннотация: Программа позволяет применять к программе на языке Пифагор следующие методы: удаление неиспользуемого кода, оптимизация на основе эквивалентных преобразований, inline-подстановка, оптимизация повторяющихся подвыражений, оптимизация инварианта в рекурсивных вычислениях и выражениях над параллельными списками. Все преобразования выпоПоказать полностьюлняются над реверсивным информационным графом программы. Программа оформлена в виде консольной утилиты.