Данный материал представляет собой дополнительные главы к курсу ''Метавычисления и их применение''. Материал подготовлен сотрудниками Института программных систем РАН Абрамовым С.М., Парменовой Л.В. Для научных сотрудников и студентов, изучающих методы автоматического преобразования программ или проводящих исследования в данной области. Данная публикация входит в состав ''Библиотеки учебных курсов'', формирование которой ведется в рамках программы академического сотрудничества MSDN Academic Alliance (MSDN AA)