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

by M Abadi, C Flanagan, S N Freund
Venue:ACM Transactions on Programming Languages and Systems