На лекции речь пойдёт о метавычислениях — области информатики, занимающейся проектированием мета-программ, т.е. программ, манипулирующих другими программами как данными, в том числе, порождая последние как результат своей работы. Эта область тесно связана с программными оптимизациями и семантиками языков программирования и с автоматической генерацией программ.
Лекция вводная. На ней расскажут про базовые методы и понятия области: программная специализация и суперкомпиляция, их применение и текущие актуальные задачи.
