книга

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

Автор: Сергей Абрамов

Форматы: PDF

Издательство: Директ-Медиа

Год: 2021

Место издания: Москва|Берлин

ISBN: 978-5-4499-0079-1

Страниц: 200

Артикул: 80844

цена: 199
Купить и скачать Читать фрагмент Печатная книга за 820

Книга сотрудника Института программных систем РАН, представляющая собой описание вопросов теории метавычислений и их применения. Метавычисления — раздел теории и практики программирования, посвященный разработке методов анализа и преобразования программ за счет реализации конструктивных метасистем (метапрограмм) над программами. В книге приводятся основные понятия метавычислений, примеры построения и использования простых метапрограмм. Изложение рассчитано на специалистов в области программирования. Для научных сотрудников и студентов, изучающих методы автоматического преобразования программ или проводящих исследования в данной области.

Введение
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 Эффективная реализация нестандартных языков
Литература

Все отзывы о книге

Чтобы оставить отзыв, зарегистрируйтесь или войдите

Рецензии на книгу

Чтобы писать рецензии и получать вознаграждения за рекомендации книг, станьте экспертом

Бестселлеры