Types for atomicity: Static checking and inference for Java (0)

by C Flanagan, S N Freund, M Lifshin, S Qadeer
Venue:TOPLAS