Задача глобального анализа потока данных

Материал из WikiGrapp

Задача глобального анализа потока данных - то же, что и Задача анализа свойств состояний.