Types for safe locking: Static race detection for Java (2006)

by Martin Abadi , Cormac Flanagan , Stephen N. Freund
Venue:ACM Transactions on Programming Languages and Systems
Citations:65 - 8 self