Бояндин21апр26

Докладчик: Лев Константинович Бояндин (студент ММФ НГУ) Тема: Обзор предметно-ориентированного языка PLT Redex Аннотация: Доклад представляет собой обзор языка PLT Redex, созданного для определения и отладки (то есть тестирования) операционных семантик языков программирования. Будет рассказано об идеологии проекта, (немного) о теоретической основе, текущем его состоянии, его применении в научных исследованиях и на практике, а также об использовании Redex на примере простого игрушечного языка.