AGIRussia.news dan repost
https://aigents.timepad.ru/event/1412596/
Онтологический подход к построению формальных семантик языков программирования — Ануреев Игорь Сергеевич (кандидат физико-математических наук, старший научный сотрудник Института систем информатики им. А.П. Ершова СО РАН и доцент Новосибирского государственного университета)
8 октября 2026, 17:00 (время московское)
В докладе будет изложена идея онтологического подхода к построению операционной и аксиоматической семантик языков программирования, а также представлен предметно-ориентированный язык ABML (Attribute Based Modelling Language), реализующий этот подход на практике.
Онтологический подход к построению формальных семантик языков программирования — Ануреев Игорь Сергеевич (кандидат физико-математических наук, старший научный сотрудник Института систем информатики им. А.П. Ершова СО РАН и доцент Новосибирского государственного университета)
8 октября 2026, 17:00 (время московское)
В докладе будет изложена идея онтологического подхода к построению операционной и аксиоматической семантик языков программирования, а также представлен предметно-ориентированный язык ABML (Attribute Based Modelling Language), реализующий этот подход на практике.