Types for Safe Locking: Static Race Detection for Java (0)

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