Часть 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. Конкретизаторы и системы конкретизации
Краткий обзор и комментарии
Список литературы
Предметный указатель