Книга сотрудника Института программных систем РАН, представляющая собой описание вопросов теории метавычислений и их применения. Метавычисления - раздел теории и практики программирования, посвященный разработке методов анализа и преобразования программ за счет реализации конструктивных метасистем (метапрограмм) над программами. В книге приводятся основные понятия метавычислений, примеры построения и использования простых метапрограмм. Изложение рассчитано на специалистов в области программирования. Для научных сотрудников и студентов, изучающих методы автоматического преобразования программ или проводящих исследования в данной области. Данная публикация входит в состав
''Библиотеки учебных курсов'', формирование которой ведется в рамках программы академического сотрудничества
MSDN Academic Alliance (MSDN AA)
Author(s): Абрамов С.М.
Edition: 2
Year: 2006
Language: Russian
Pages: 127
Tags: Информатика и вычислительная техника;Теория алгоритмов;
Введение......Page 7
Синтаксис языка TSG......Page 15
Семантика языка TSG......Page 18
C-переменные, c-выражения......Page 23
C-связи, c-среды и c-состояния......Page 24
Рестрикции c-переменных......Page 25
C-конструкции......Page 28
Подстановки......Page 29
Отождествление c-выражений......Page 32
Представляемое множество......Page 35
Суперпозиция подстановок......Page 39
Сужения и разбиения множеств......Page 40
Дерево конфигураций......Page 47
Построение дерева процессов......Page 48
Основные понятия......Page 57
Окрестности......Page 58
Окрестностный анализатор......Page 60
Операции над классами и окрестностями......Page 68
Tестированиe. Основные понятия......Page 75
Постановка проблемы......Page 78
Построение окрестностного тестирования......Page 80
Окрестностный критерий выбора тестов......Page 83
Свойства окрестностного тестирования......Page 84
Решение традиционных проблем теории тестирования......Page 85
Постановка проблемы......Page 93
Приведение функции программы к табличной форме......Page 94
Алгоритм инверсного вычисления программ......Page 97
Различные подходы к инверсии программ......Page 101
Инверсная семантика языка реализации......Page 103
Инверсное и логическое программирование......Page 104
Перенос инверсной семантики......Page 111
Модификаторы семантик......Page 115
Специализация программ......Page 118
Эффективная реализация нестандартных языков......Page 121
Литература......Page 123
