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