Исследовательская группа
Лаборатория языковых инструментов
О реализации проекций Футамуры
October 12
В докладе рассматриваются базовые принципы преобразования программ, которое известно как частичные вычисления или специализация. Оно тесно связано с компиляцией программ и позволяет генерировать компиляторы и генераторы компиляторов — пользуясь соотношениями, известными как проекции Футамуры. Также в докладе освещается набор методов, достаточных для реализации полностью автоматического нетривиального самоприменимого специализатора, и приводится пример такого специализатора для простого императивного языка программирования.
Докладчик: Даниил Березун.