LCS Publication Details
Publication Title: A Type System for Preventing Data Races and Deadlocks in Java Programs
Publication Author: Boyapati, Chandrasekhar
Additional Authors: Robert Lee, Martin Rinard
LCS Document Number: MIT-LCS-TR-839
Publication Date: 3-22-2002
LCS Group: Computer Architecture
Additional URL:
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.