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

by M Abadi, C Flanagan, S Freund
Venue:ACM Trans. Program. Lang. Syst