Во вторник 28 апреля 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Александр Андреевич Харьков (студент ММФ НГУ)
Тема: Ott: инструмент для автоматизации формального описания языков программирования
В докладе рассматривается Ott - инструмент для автоматизации формального описания синтаксиса и семантики языков программирования. Показано, как Ott позволяет, один раз описав формальную систему целевого языка на специальном метаязыке, автоматически генерировать её представления для различных целей: формальных доказательств (Coq, Isabelle/HOL), прототипирования (OCaml) и подготовки публикаций (LaTeX). Отмечена роль Ott в сокращении трудоёмкости создания спецификаций, минимизации ошибок при ручном кодировании и обеспечении согласованности между разными версиями описания языка.