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


         

Для описания решения задачи анализа



увеличить изображение

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

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