Общая семантика присваивания заключается в вычислении выражения, стоящего:

Общая схема работы Lex заключается в преобразовании Lex-программы:

Чтобы выяснить правильность оператора присваивания надо знать:

Чтобы выяснить, каков тип идентификатора, являющегося, получателем присваивания, надо понять:

Задачи проверки сводимости и построения статической формы единственного присваивания могут быть решены с помощью:

Для каждого вхождения переменной требуется определить множество присваиваний, такое, что для каждого из них существует путь, в котором между ним и данным вхождением отсутствуют другие присваивания той же переменной - так формулируется задача:

Раскрутка циклов заключается в дублировании:

Идея анализа потока управления заключается в следующем:

Самый простой способ отслеживания свободной памяти заключается в приписывании:

Удаление мертвого кода заключается в удалении такого оператора, у которого:

В выяснении, где именно устанавливаются значения того или иного вхождения данной переменной заключается: