Modelling C++ inheritance and dynamic semantics using a C++ virtual machine

Доклад представляет экспериментальный программный стенд, предназначенный для моделирования ключевых свойств языка С++, включая механизмы наследования (единичного, множественного и виртуального) и полиморфизма. Стенд включает компилятор представительного подмножества языка С++ в низкоуровневый интерпретируемый язык IML и виртуальную машину, реализующую аспекты динамической семантики С++ в части полиморфизма (виртуальные функции с перекрытиями, динамическое приведение типов) и распределения динамической памяти. Стенд может использоваться как инструмент моделирования различных программных конфигураций для оценки эффективности применения моделируемых свойств С++. Проект выполняется группой студентов университета Иннополис под руководством автора доклада.
Есть рабочие записи на YouTube-канале ИСИ СО РАН (https://youtu.be/ePcRJd3MuXk) и презентация доклада (https://persons.iis.nsk.su/files/persons/pages/zouev08may24.pdf).