Доклад СПбГУ – ММИ им. Л. Эйлера

22 января в 17:30 состоится доклад на тему “Онтологический подход к спецификации операционных семантик языков программирования” ( ауд. 201, 14-я линия В.О., 29 / Zoom ID: 384-956-974 )

Докладчик: Ануреев Игорь Сергеевич, с.н.с. ИСИ СО РАН, с.н.с. ИАиЭ СО РАН, доцент ФИТ и ММФ НГУ

Аннотация: В докладе будет представлен предметно-ориентированный язык, который позволяет строить онтологию языка программирования и описывать выполнимую операционную семантику онтологических моделей конструкций языка программирования. В качестве примера будет рассмотрена операционная семантика операторов передачи управления языка Си.

Приглашаем всех заинтересованных лиц принять участие!