Исследовательская группа
Лаборатория языковых инструментов
Об операционной семантике параллельного языка программирования, согласованного с моделью памяти С11
September 21
В докладе рассматривается модельный язык параллельного программирования и его операционная семантика малого шага, согласованная с моделью памяти C11.
Докладчик: Антон Подкопаев.