Оглавление

Предисловие

Часть 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. Конкретизаторы и системы конкретизации.

КРАТКИЙ ОБЗОР И КОММЕНТАРИИ.

Список литературы

Предметный указатель