Предисловие
Часть I. Математические модели программ и вычислений
ГЛАВА 1. МАТЕМАТИчЕСКИЕ ОСНОВЫ.
§1. Элементы логики, теории множеств и общей алгебры; §2. Графы и деревья; §3. Понятие сложности алгоритма.
ГЛАВА 2. ПРЕДСТАВЛЕНИЕ АЛГОРИТМОВ И ИХ АНАЛИЗ.
§1. Машинный уровень представления алгоритмов; §2. Язык высокого уровня.
ГЛАВА 3. ОПЕРАТОРНЫЕ МОДЕЛИ ПРОГРАММ.
§1. Программа с точки зрения оптимизации; §2. Класс крупноблочных схем; §3. Важные подклассы схем и их свойства; §4. Отношение моделирования; §5. Схематизация программ.
КРАТКИЙ ОБЗОР И КОММЕНТАРИИ.
Часть II. Оптимизирующие преобразования и их обоснование
ГЛАВА 4. КЛАСС ОПТИМИЗИРУЮЩИХ ПРЕОБРАЗОВАНИЙ.
§1. Классификация оптимизаций; §2. Способы оптимизации; §3. Набор и последовательность оптимизирующих преобразований; §4. Контекстные условия; §5. Потоковый анализ программ.
ГЛАВА 5. МЕТОДЫ АНАЛИЗА УПРАВЛяЮЩИХ СВяЗЕЙ.
§1. Класс схем Мартынюка; §2. Анализируемые свойства потока управления; §3. Интервально сводимые схемы; §4. Укладки и нумерации.
ГЛАВА 6. ОПТИМИЗАЦИя НА ЛИНЕЙНОМ УчАСТКЕ.
§1. Анализ линейных участков программ; §2. Класс простых схем; §3. Эквивалентные преобразования простых схем.
ГЛАВА 7. ОПТИМИЗАЦИя ЦИКЛОВ.
§1. Анализ циклической структуры схем; §2. Чистка циклов; §3. Понижение силы операций.
ГЛАВА 8. ГЛОБАЛЬНАя ОПТИМИЗАЦИя.
§1. Перераспределение памяти; §2. Анализ свойств состояний; §3. Факторизация.
КРАТКИЙ ОБЗОР И КОММЕНТАРИИ.
Часть III. Применения оптимизирующих преобразований
ГЛАВА 9. ОБЛАСТИ ПРИМЕНЕНИя ОПТИМИЗАЦИИ.
§1. Трансляция; §2. Конструирование программ; §3. Верификация, отладка, документирование и сопровождение.
ГЛАВА 10. ОПТИМИЗИРУЮЩАя ТРАНСЛяЦИя.
§1. Общее представление о процессе оптимизирующей трансляции; §2. Многопросмотровая оптимизирующая трансляция с промежуточным языком; §3. Оптимизация на атрибутном дереве; §4. Возможности оптимизирующей трансляции.
ГЛАВА 11. КОНКРЕТИЗАЦИя ПРОГРАММ.
§1. Конкретизирующие преобразования аннотированных программ; §2. Редукция; §3. Конкретизаторы и системы конкретизации.
КРАТКИЙ ОБЗОР И КОММЕНТАРИИ.
Список литературы
Предметный указатель