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