Разработка компиляторов
Решение задачи анализа потоков данных (1)
увеличить изображение
Для описания решения задачи анализа потоков данных рассмотрим вновь систему (*). Для каждой пары уравнений системы введем пару вспомогательных функций gv1, gv2, каждая из которых вычисляет значение правой части соответствующего уравнения (см. пример на слайде).
Можно показать, что полученные таким образом функции являются монотонными.
