Онтологический подход к построению формальных семантик языков программирования - Ануреев Игорь Сергеевич (кандидат физико-математических наук, старший научный сотрудник Института систем информатики им. А.П. Ершова СО РАН и доцент Новосибирского государственного университета)
8 октября 2026 17:00 мск

В докладе изложена идея онтологического подхода к построению операционной и аксиоматической семантик языков программирования, а также представлен предметно-ориентированный язык ABML (Attribute Based Modelling Language), реализующий этот подход на практике.