A Formalization of Java’s Concurrent Access Modes

Описание к видео A Formalization of Java’s Concurrent Access Modes

Authors: John Bender, Jens Palsberg
Presented at SPLASH 2019

Комментарии

Информация по комментариям в разработке