A Type System for Preventing Data Races and Deadlocks in Java Programs

Bibliographic Details
Main Authors:	Boyapati, Chandrasekhar, Lee, Robert, Rinard, Martin
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149941

Internet

https://hdl.handle.net/1721.1/149941