Types for atomicity (2003)

by Cormac Flanagan, Shaz Qadeer
Venue:In ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI03