A type and effect system for atomicity (2003)

Cached

Download Links

by Cormac Flanagan , Shaz Qadeer
Venue:In PLDI 03: Programming Language Design and Implementation
Citations:214 - 21 self