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

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