Реализация оптимизирующих трансформаций в системе предикатного программирования
Язык статьиРусский
Аннотация
Описываются оптимизирующие трансформации склеивания переменных, замены хвостовой рекурсии циклом, открытой подстановки, упрощения и оформления. Результатом трансформаций является эффективная императивная программа. Используется потоковый анализ, включающий построение графа вызовов и определение области жизни переменных программы.
Ключевые слова
DOI10.31144/si.2307-6410.2017.n11.p21-48
УДК004.43
Номер
№ 11,
Страницы21-48
Файл
kablukovshelehov2017.pdf
(878.05 КБ)
Библиографическая ссылка
Каблуков И.В., Шелехов В.И. Реализация оптимизирующих трансформаций в системе предикатного программирования // Системная информатика, 2017. – № 11. – С. 21-48. – DOI: https://doi.org/10.31144/si.2307-6410.2017.n11.p21-48.