Types for atomicity (2003)

by C Flanagan, S Qadeer
Venue:In TLDI 03: Types in Language Design and Implementation