книга

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

Здесь можно купить книгу "Методы метавычислений и их применение " в печатном или электронном виде. Также, Вы можете прочесть аннотацию, цитаты и содержание, ознакомиться и оставить отзывы (комментарии) об этой книге.

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

Форматы: PDF

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

Год: 2021

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

ISBN: 978-5-4499-0079-1

Страниц: 200

Артикул: 80844

Печатная книга

980 ₽

Купить

Ожидаемая дата отгрузки печатного
экземпляра: 08.12.2024

Электронная книга

278.6 ₽

Купить и скачать

Читать фрагмент

Аннотация

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

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

Содержание

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

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

Отзывы

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

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

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

Глава 2Представление множествВ метавычислениях имеют дело не только с одиночными дан-ными (значениями), одиночными состояниями вычисления и т.п.,но также и смножествамиданных,множествамисостоянийвычислений и т.д. Эти множества должны быть представленыконструктивно—в виде выражений некоторого языка. Для этихцелей, как и в [7, 18], будут использоватьсявыражения со сво-бодными переменными(с так называемымиконфигурационнымипеременными илиc-переменными).Представление множеств при помощи выражений со свобод-ными переменными (параметрами) принято в математике. Так,довольно часто множество нечетных чисел представляют при по-мощи выражения2

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