СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
ГЛАВА 1. ПРЕОБРАЗОВАНИЯ ПРОГРАММ. ОБЗОР ЛИТЕРАТУРЫ
1.1. Основные понятия и постановка проблемы преобразований программ .
1.2. Современное состояние теоретических исследований в области преобразований программ
1.2.1. Модели программ, ориентированные на трансформации программ
1.2.2. Классификация трансформаций
1.3. Современное состояние разработки блоков оптимизации в компиляторах.
1.3.1. Представления программ.
1.3.2. Представление трансформаций в реализациях трансформационных машин.
1.3.3. Потоковый анализ программ
1.4. Средства автоматизации построения оптимизирующих компиляторов .
1.5. Компьютерные эксперименты в области преобразований программ.
1.6. Выводы к первой главе.
ГЛАВА 2. КОНЦЕПЦИЯ ПРЕОБРАЗОВАТЕЛЯ ПРОГРАММ С ПЕРЕМЕННЫМ НАБОРОМ ТРАНСФОРМАЦИЙ.
2.1. Требования к преобразователю программ с переменным набором трансформаций
2.2. Архитектура преобразователя программ с переменным набором трансформаций
2.3. Выводы ко второй главе и постановки задач исследования
ГЛАВА 3. ОНТОЛОГИЯ МОДЕЛИ ОБЪЕКТА ПРЕОБРАЗОВАНИЙ
3.1. Постановка задачи моделирования объекта преобразований
3.2. Онтология МСГ1
3.2.1. Определение МСН
3.2.2. Вспомогательные термины
3.2.3. Классы фрагментов программы, идентификаторы программы
3.2.4. Тины данных
3.2.5. Дуги управления
3.2.6. Атрибуты.
3.3. Проекции языков программирования высокого уровня на единое представление программ и единого представления программ на языки высокого уровня
3.4. Онтология расширенной МСП.
3.4.1. Онтология расширенной МСН для классических оптимизирующих
преобразований.
3.4.2. Онтология расширенной МСП для реструктурирующих преобразований
3.4.3. Онтология расширенной МСП для коммуникационных преобразований
3.5. Онтологические соглашения онтологии МСП и онтологии расширенной МСП.
3.6. Выводы к третьей главе.
ГЛАВА 4. ПРЕДСТАВЛЕНИЕ МЕТОДОВ ПОТОКОВОГО АНАЛИЗА ПРОГРАММ .
4.1. Постановка задачи представления методов потокового анализа программ
4.2. Абстрактный синтаксис языка описания методов потокового анализа программ и его операционная семантика.
4.3. База знаний о методах потокового анализа программ
4.4. Выводы к четвертой главе.
ГЛАВА 5. ПРЕДСТАВЛЕНИЕ ТРАНСФОРМАЦИЙ.
5.1. Постановка задачи представления трансформаций
5.2. Абстрактный синтаксис языка описания трансформаций
5.3. База знаний о трансформациях программ
5.4. Выводы к пятой главе.
ГЛАВА 6. МЕТОДЫ ИНТЕРПРЕТАЦИИ БАЗЫ ЗНАНИЙ О ТРАНСФОРМАЦИЯХ ПРОГРАММ.
6.1. Постановка задачи интерпретации базы знаний о трансформациях программ
6.2. Метод интерпретации стратегии преобразования.
6.3. Метод поиска участка экономии
6.4. Метод выполнения преобразования
6.5. Выводы к шестой главе
ГЛАВА 7. СПЕЦИАЛИЗИРОВАННЫЙ БАНК ЗНАНИЙ О ПРЕОБРАЗОВАНИЯХ ПРОГРАММ.
7.1. Постановка задачи разработки средств преобразования программ с переменным набором трансформаций
7.2. Требования к СБкЗПП.
7.3. Архитектура СБкЗПП
7.4. Методы реализации СБкЗПП
7.5. Выводы к седьмой главе.
ГЛАВА 8. ТЕХНОЛОГИЯ ИСПОЛЬЗОВАНИЯ МЕТОДОВ И СРЕДСТВ ПРЕОБРАЗОВАНИЯ ПРОГРАММ С ПЕРЕМЕННЫМ НАБОРОМ ТРАНСФОРМАЦИЙ И ЕЕ ЭКСПЕРИМЕНТАЛЬНОЕ ИССЛЕДОВАНИЕ
8.1. Технология использования методов и средств преобразования программ с переменным набором трансформаций.
8.2. Экспериментальное исследование технологии использования методов и средств преобразования программ с переменным набором трансформаций.
8.2.1. Постановка задачи экспериментального исследования переменных
наборов трансформаций на МСП
8.2.1.1. Модель измерения временных характеристик МСП.
8.2.1.2. Модель измерения характеристик объема МСП
8.2.2. Постановка задачи экспериментального исследования переменных
наборов трансформаций па штатном компиляторе
8.3. Использование технологии для экспериментального исследования переменных наборов трансформаций.
8.4. Использования технологии для моделирования блоков оптимизации в компиляторах.
8.5. Использование технологии для обучения студентов.
8.5.1. Организация лабораторного практикума.
8.5.2. Проведение деловых игр на лабораторном практикуме
8.6. Выводы к восьмой главе
ОСНОВНЫЕ НАУЧНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ
ГЛОССАРИЙ
СПИСОК ЛИТЕРАТУРЫ
- Київ+380960830922