A Type System for Preventing Data Races and Deadlocks in Java Programs
dc.contributor.author | Boyapati, Chandrasekhar | en_US |
dc.contributor.author | Lee, Robert | en_US |
dc.contributor.author | Rinard, Martin | en_US |
dc.date.accessioned | 2023-03-29T15:35:19Z | |
dc.date.available | 2023-03-29T15:35:19Z | |
dc.date.issued | 2002-03 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/149941 | |
dc.relation.ispartofseries | MIT-LCS-TR-839 | |
dc.title | A Type System for Preventing Data Races and Deadlocks in Java Programs | en_US |