A Type and Effect System for Atomicity (2003)

by C Flanagan, S Qadeer
Venue:In Proceedings of PLDI’03