Алгебры SSA

Алгебры SSA
Язык статьиАнглийский
Аннотация

SSA-форма – промежуточное представление для компиляции императивных программ, где каждой переменной значение присваивается лишь единожды. Будучи правильно определённой, SSA-форма порождает семейство чисто синтаксических категорий с несколькими хорошими свойствами. Мы надеемся, что эта работа послужит основанием для категорного подхода к оптимизации.

DOI10.31144/si.2307-6410.2023.n22.p31-36
УДК004.4'418
Номер № 22,
Страницы31-36
Файл sokolov2023.pdf (323.72 КБ)
Библиографическая ссылка
Соколов П.П. Алгебры SSA // Системная информатика, 2023. – № 22. – С. 31-36. – DOI: https://doi.org/10.31144/si.2307-6410.2023.n22.p31-36.