|
|
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии
теории и экспериментальному программированию
8 мая 2024 г. 16:00–17:30, г. Новосибирск, 422 аудитория Университета Иннополис и онлайн Skype
|
|
|
|
|
|
Modelling C++ inheritance and dynamic semantics using a C++ virtual machine
Зуев Евгений Александрович Университет Иннополис
|
Количество просмотров: |
Эта страница: | 117 |
|
Аннотация:
Доклад представляет экспериментальный программный стенд, предназначенный для моделирования ключевых свойств языка С++, включая механизмы наследования (единичного, множественного и виртуального) и полиморфизма. Стенд включает компилятор представительного подмножества языка С++ в низкоуровневый интерпретируемый язык IML и виртуальную машину, реализующую аспекты динамической семантики С++ в части полиморфизма (виртуальные функции с перекрытиями, динамическое приведение типов) и распределения динамической памяти. Стенд может использоваться как инструмент моделирования различных программных конфигураций для оценки эффективности применения моделируемых свойств С++. Проект выполняется группой студентов университета Иннополис под руководством автора доклада.
Есть рабочие записи на YouTube-канале ИСИ СО РАН (https://youtu.be/ePcRJd3MuXk) и презентация доклада (https://persons.iis.nsk.su/files/persons/pages/zouev08may24.pdf).
Website:
https://persons.iis.nsk.su/en/STEP-2024
|
|