Предисловие.............. 5
ЧАСТЬ I
МАТЕМАТИЧЕСКИЕ МОДЕЛИ ПРОГРАММ И ВЫЧИСЛЕНИЙ ............... 7
Глава 1. Математические основы....... 8
§ 1. Элементы логики, теории множеств и общей алгебры 8
§ 2. Графы и деревья.......... 12
§ 3. Понятие сложности алгоритма...... 16
Глава 2. Представление алгоритмов и их анализ ... 18
§ 1. Машинный уровень представления алгоритмов . . 18
§ 2. Язык высокого уровня........ 21
Глава 3. Операторные модели программ..... 29
§ 1. Программа с точки зрения оптимизации ... 29
§ 2. Класс крупноблочных схем....... 35
§ 3. Важные подклассы схем и их свойства .... 46
§ 4. Отношение моделирования....... .52
§ 5. Схематизация программ........ 60
Краткий обзор и комментарии......... 74
ЧАСТЬ II
ОПТИМИЗИРУЮЩИЕ ПРЕОБРАЗОВАНИЯ И ИХ ОБОСНОВАНИЕ .............. 77
Глава 4. Класс оптимизирующих преобразовании . . 78
§ 1. Классификация оптимизаций....... 79
§ 2. Способы оптимизации........ 82
§ 3. Набор и последовательность оптимизирующих преобразований ........... 89
§ 4. Контекстные условия......... 90
§ 5. Потоковый анализ программ....... 94
Глава 5. Методы анализа управляющих связей .... 97
§ 1. Класс схем Мартынюка........ 97
§ 2. Анализируемые свойства потока управления . . 100
§ 3. Интервально сводимые схемы...... 106
§ 4 Укладки и нумерации .,,•«.... 122
Цена: 150руб.
