Разработка компиляторов



         

Живые переменные


Живые переменные - это обратная задача. В качестве полурешетки потоковых фактов выбирается множество подмножеств переменных с операцией объединения, наибольший и наименьший элементы полурешетки очевидны, так же как и факт конечности высоты.

Для произвольной вершины v определим множество Dv как совокупность всех переменных, встречающихся в левых частях всех присваиваний в v, множество Uv как совокупность всех переменных, имеющих иные вхождения в операторы v. Определим для каждой вершины v потоковую функцию

В качестве начальной разметки также избирается разметка исходного графа наименьшим элементом полурешетки.




Содержание  Назад  Вперед