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