Касьянов В. П. Оптимизирующие преобразования программ.— М.: Наука. Гл. ред. физ.-мат. лит., 1988.— 336 о, ISBN 5-02-013778-2 Оптимизирующие преобразования, ранее использовавшиеся только в трансляторах для повышения качества рабочих программ, начинают играть все более важную технологическую роль при решении задач автоматизации программирования в целом. Цель книги — дать систематическое изложение теории и применений оптимизирующих преобразований программ для современных языков и ЭВМ. Книга рассчитана па разработчиков и пользователей универсального матобеспечения ЭВМ, а также на студентов, специализирующихся по системному и теоретическому программированию. Табл. 7. Ил. 41. Библиогр. 175 назв. ОГЛАВЛЕНИЕ
Предисловие.............. 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