Оглавление
Введение
1 Анализ результатов диссертации в контексте исследований в области специализации программ
1.1 О двух постановках задачи специализации.
1.2 Обзор результатов в области специализации программ . . .
1.3 Исторический обзор развития методов суперкомпиляции . .
2 Схема структуры преобразователя программ БСР
3 Язык параметров
3.1 Параметризованные множества данных
3.2 Параметризованные множества полей зрения стеков и РЕФАЛвыражений.
4 Язык РЕФАЛграфов
4.1 Синтаксис.
4.1.1 Синтаксис входного подмножества.
4.2 Семантика.
4.3 Язык РЕФАЛ5 и язык РЕФАЛграфов
4.3.1 О неравномерности шагов РЕФАЛмашины
4.3.2 Дерево отождествления в языке РЕФАЛграфов. . .
5 Прогонка
5.1 Общая структура прогонки
5.2 Перестройка стека функций.
5.3 Стратегия выбора входного формата.
5.4 К вопросу о целях преобразований
6 Свртка
6.1 Вложение
6.2 Стратегия обхода дерева при факторизации
6.3 Обобщение.
6.3.1 Отношение похожести.
6.3.2 Обобщение конфигураций
6.3.3 Обобщение параметризованных выражений.
6.3.4 Обобщение и построение отрицательной информации.
6.3.5 Стратегия обхода метадерева при обобщении
6.3.6 Обнинское условие и транзитные вершины
6.4 К вопросу о целях преобразований
6.4.1 Изменение местности параметризованной среды при
е обобщении.
7 Развртка
7.1 Стратегия развития дерева
7.2 Стратегии развития стека функций.
7.3 К вопросу о целях преобразований
8 Подграф компонента факторизации
9 Чистка экранируемых ветвей
Глобальный анализ
.1 Анализ в терминах языка РЕФАЛграфов
.1.1 Пустые подграфы
.1.2 Выходные форматы.
.1.3 Графы определяющие константу.
.1.4 Проекции.
.2 Анализ в терминах языка РЕФАЛ.
.2.1 Тождественность
.2.2 Мономы конкатенации.
.2.3 Стратегия выбора гипотезы мономиалыюсти
.2.4 Частичные выражения
.3 Чистка поглощаемых ветвей.
Том II
Использование результатов глобального анализа
.1 Одношаговые подграфы.
.2 Пустые подграфы
.3 Рекурсивные подграфы. Повторная специализация
.4 Квазидистрибутивность подзадачи
.4.1 Правая квазидистрибутивность.
.4.2 Левая квазидистрибутивность.
.5 К вопросу о целях преобразований.
Чистка входных, выходных формальных параметров и
вызовов функций
Чистка повторных определений
.1 Глобальность базисных конфигураций внутри задачи и по задачам
.2 Повторные определения.
Неадекватная выразимость результата преобразований средствами РЕФАЛа5
Разметка свойств переменных и компиляция в Си или в язык сборки
.1 Уменьшение числа копирований
.2 Хвостовая рекурсия
Поднятие параметра уточнение языка параметров. О синтаксисе входных точек
.1 Постановка задач на специализацию.
.2 Подтипы параметров
.2.1 Уточнение прогонки.
.2.2 Уточнение свертки
.3 Синтаксические мономы в задаче самопримеиения.
.4 Язык схем.
Несколько примеров преобразований
.1 Простейшие примеры.
.2 Специализация самоописания РЕФАЛа
.3 Другие эксперименты
О соотношении сложности
.1 Анализ двух примеров.
.2 Общие замечания
.2.1 Простейшая модель суперкомпиляции.
.2.2 Ограничения на стиль программирования.
Разметка входной программы
.1 Псевдокомментарии
.2 Псевдофункции
О свойствах модели вычислений
Общее заключение
Результаты
Список литературы
- Київ+380960830922