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

Author(s)
Boyapati, Chandrasekhar; Lee, Robert; Rinard, Martin
Thumbnail
DownloadMIT-LCS-TR-839.pdf (489.8Kb)
Metadata
Show full item record
Date issued
2002-03
URI
https://hdl.handle.net/1721.1/149941
Series/Report no.
MIT-LCS-TR-839
Collections