Исследовательская группа

Лаборатория языковых инструментов

Об операционной семантике параллельного языка программирования, согласованного с моделью памяти С11

21 сентября

В докладе рассматривается модельный язык параллельного программирования и его операционная семантика малого шага, согласованная с моделью памяти C11.

Докладчик: Антон Подкопаев.