Лаборатория языковых инструментов

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

Докладчик: Даниил Березун.