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

Анализ потоков данных
Пример
Достижимые определения
Живые переменные
Стадии анализа
Разметки и потоковые функции
Итеративный алгоритм
Полурешетки
Неподвижные точки монотонной функции

Пример
Произведение полурешеток
Формализация задачи анализа потоков данных
Прямая и обратная задачи
Решение задачи анализа потоков данных (1)
Свойства итеративного подхода
Алгоритм с рабочим списком

Пример: достижимые определения (1)
Пример: живые переменные (1)
Заключение
Литература к лекции

Содержание раздела

---

---