Методы метавычислений и их применение

Содержание книги "Методы метавычислений и их применение"

Введение
1 Язык реализации
1.1 Данные в языке TSG
1.2 Синтаксис языка TSG
1.3 Семантика языка TSG
2 Представление множеств
2.1 C-переменные, c-выражения
2.2 C-связи, c-среды и c-состояния
2.3 Рестрикции c-переменных
2.4 C-конструкции
2.5 Подстановки
2.6 Отождествление c-выражений
2.7 Представляемое множество
2.8 Суперпозиция подстановок
2.9 Сужения и разбиения множеств
3 Дерево процессов
3.1 Дерево конфигураций
3.2 Построение дерева процессов
4 Окрестностный анализ
4.1 Основные понятия
4.2 Окрестности
4.3 Окрестностный анализатор
4.4 Операции над классами и окрестностями
5 Окрестностное тестирование программ
5.1 Tестированиe. Основные понятия
5.2 Постановка проблемы
5.3 Построение окрестностного тестирования
5.4 Окрестностный критерий выбора тестов
5.5 Свойства окрестностного тестирования
5.6 Решение традиционных проблем теории тестирования
6 Универсальный решающий алгоритм
6.1 Постановка проблемы
6.2 Приведение функции программы к табличной форме137
6.3 Алгоритм инверсного вычисления программ
6.4 Развитие УРА
6.5 Различные подходы к инверсии программ
7 Инверсное программирование
7.1 Инверсная семантика языка реализации
7.2 Инверсное и логическое программирование
7.3 Перенос инверсной семантики
8 Нестандартные семантики
8.1 Модификаторы семантик
8.2 Специализация программ
8.3 Эффективная реализация нестандартных языков
Литература