SSA
SSA () — промежуточное представление, используемое компиляторами, в котором каждой переменной значение присваивается лишь единожды. Переменные исходной программы разбиваются на версии, обычно с помощью добавления суффикса, таким образом, что каждое присваивание осуществляется уникальной версии переменной. В SSA-представлении DU-цепи () заданы явно и содержат единственный элемент.

SSA-представление было разработано исследователями IBM Роном Ситроном ("Ron Cytron"), Жаном Феррантом ("Jeanne Ferrante"), Барри Розеном ("Barry Rosen"), Марком Уэгменом ("Mark Wegman") и Кеном Задеком ("Ken Zadeck") в 1980-е годы.

В компиляторах функциональных языков программирования, таких как Scheme, ML и Haskell, вместо SSA обычно используется CPS-представление (). Формально эти представления эквивалентны, поэтому оптимизации и трансформации, сформулированные в одном из представлений, могут быть применены и для другого.
Q47506
компилятор
Concept
Q647220
DU-цепи
Concept
Q37156
IBM
ORG
Q193076
функциональных языков программирования
Concept
Q187560
Scheme
Concept
Q860654
ML
MEDIA
Q34010
Haskell
MEDIA
Q1128903
CPS
Concept
Q2667487
SSA
Concept
Q2667487
SSA
Concept
Q2667487
SSA
Concept
Q2667487
SSA
Concept
1980-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
в 1980
DATE
programming paradigm
programming paradigm
instance of