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