Оптимизация по времени линейных участков программы

Предлагается формальный метод преобразования линейных участков программ, обеспечивающий минимальное время их выполнения на однопроцессорной ЭВМ. Оптимизация достигается за счет использования более быстрых команд и сокращения числа пересылок операндов между регистрами и оперативной памятью. Метод основан на анализе схем информационных потоков.