Для подтверждения сказанного напомним, что в каждой точке программы текущее значение некоторой переменной, а в ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Саркисян А.А.
Машинонезависимая оптимизация исходных программ
Для подтверждения сказанного напомним, что в каждой точке программы текущее значение некоторой переменной, а в общем случае - возможные значения можно однозначно установить только на основе результатов анализа информационных связей в программе.