Разработка компиляторов
Разработка компиляторов
Анализ потоков данных
Пример
Достижимые определения
Живые переменные
Стадии анализа
Разметки и потоковые функции
Итеративный алгоритм
Полурешетки
Неподвижные точки монотонной функции
Пример
Произведение полурешеток
Формализация задачи анализа потоков данных
Прямая и обратная задачи
Решение задачи анализа потоков данных (1)
Свойства итеративного подхода
Алгоритм с рабочим списком
Пример: достижимые определения (1)
Пример: живые переменные (1)
Заключение
Литература к лекции
Содержание раздела