Exploiting purity for atomicity (0)

by Cormac Flanagan, Stephen N Freund, Shaz Qadeer
Venue:IEEE Transactions on Software Engineering