Реализация оптимизирующих трансформаций в системе предикатного программирования

Реализация оптимизирующих трансформаций в системе предикатного программирования
Язык статьиРусский
Аннотация

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

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.