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:251 - 22 self