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

Name

MIT-LCS-TR-839.pdf

Size

489.9 KB

Format

Adobe PDF

Checksum (MD5)

7143d4547b2400d7c1cc79b2ed9a43a2

Author(s)

Boyapati, Chandrasekhar

•

Lee, Robert

•

Rinard, Martin

Date Issued

March 2002

Series/Report no.

MIT-LCS-TR-839

Persistent DSpace Link

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