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

Введение......71 Язык реализации......171.1 Данные в языке TSG......171.2 Синтаксис языка TSG......181.3 Семантика языка TSG......222 Представление множеств......292.1 C-переменные
c-выражения......302.2 C-связи
c-среды и c-состояния......312.3 Рестрикции c-переменных......332.4 C-конструкции......362.5 Подстановки......392.6 Отождествление c-выражений......432.7 Представляемое множество......462.8 Суперпозиция подстановок......532.9 Сужения и разбиения множеств......543 Дерево процессов......653.1 Дерево конфигураций......663.2 Построение дерева процессов......674 Окрестностный анализ......794.1 Основные понятия......794.2 Окрестности......814.3 Окрестностный анализатор......834.4 Операции над классами и окрестностями......955 Окрестностное тестирование программ......1075.1 Tестированиe. Основные понятия......1075.2 Постановка проблемы......1125.3 Построение окрестностного тестирования......1165.4 Окрестностный критерий выбора тестов......1215.5 Свойства окрестностного тестирования......1225.6 Решение традиционных проблем теории тестирования......1236 Универсальный решающий алгоритм......1356.1 Постановка проблемы......1356.2 Приведение функции программы к табличной форме1376.3 Алгоритм инверсного вычисления программ......1416.4 Развитие УРА......1486.5 Различные подходы к инверсии программ......1587 Инверсное программирование......1617.1 Инверсная семантика языка реализации......1617.2 Инверсное и логическое программирование......1637.3 Перенос инверсной семантики......1738 Нестандартные семантики......1798.1 Модификаторы семантик......1798.2 Специализация программ......1858.3 Эффективная реализация нестандартных языков......188Литература......193

Абрамов С.А.
Родился в 1944 году в Москве. По образованию инженер-строитель; окончил в 1966 году Московский автомобильно-дорожный институт. Впоследствии работал в журнале "Смена", в газете "Правда". Первую повесть - "Хождение за три моря" - написанную в жанре фантастики вместе с отцом, писателем Александром Абрамовым, опубликовал в 1966 году. Итого их многолетнего творческого содружества стали книги "Всадники ниоткуда", "Рай без памяти", "Все дозволено", "Серебряный вариант", "Селеста-7000". В 1976 году вышлапервая самостоятельная книга Сергея Абрамова "Опознай живого". Перу писателя принадлежат повести "Выше радуги", "В лесу прифронтовом", "Время его учеников", "Странник", "Стена", "Двое под одним зонтом", "Проводы", "Однажды, вдруг, когда-нибудь", "Новое платье короля", "Требуется чудо".