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

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

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

September 21

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

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