Бояндин21окт25

Аватар автора
ИСИ СО РАН
Докладчик: Бояндин Лев Константинович, студент 3-го курса бакалавриата ММФ НГУ Тема: Краткий экскурс в K Framework Аннотация: Доклад содержит обзор системы K, позволяющей порождать полезные инструменты (парсер, интерпретатор, дедуктивный верификатор) на основе синтаксиса и семантики языка программирования. Будет рассказано об идеологии проекта, о том, как пользоваться основными элементами системы, а также о примерах её применения на практике.

0/0


0/0

0/0

0/0