4. Способы оптимизации
Различают две категории оптимизирующих преобразований:
преобразования исходной программы в ее внутренней форме, которые не зависят от объектного языка (машинно-независимые) и преобразования, осуществляемые на уровне объектной программы (машинно-ориентированные).
Методы первой категории применимы почти к любому алгебраическому языку - ФОРТРАНу, АЛГОЛу, PL/1 и.т.д.