В системе восходящего переписывания деревьев язык интерпретируется как:
Использование dag'ов более предпочтительно, чем деревьев, поскольку в этом случае происходит:
Достижимые определения являются:
Для определения типа дуги используется:
Для определения завершаемости алгоритма используется принцип:
Для правильного учета контекста необходимо учесть влияние всех путей до данной вершины, сначала определив влияние каждого пути, а затем:
Свойства альтов дают возможность использовать их для определения:
Если среди всех вычисляемых на участке экономии выражений выделяются эквивалентные, и затем их вхождения заменяются на вхождение новой переменной, хранящей заранее вычисленное значение этого общего выражения, то это:
На какой стадии анализа потоков данных, происходит решение задачи анализа для каждого пути, ведущего в данную вершину и затем выделение общей части всех таких решений:
Общий вид формулы, содержащей операции типа сложения:
