![](/img/cover-not-exists.png)
Exploiting purity for atomicity
Flanagan, Cormac, Freund, Stephen N., Qadeer, ShazVolume:
29
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1013886.1007543
Date:
July, 2004
File:
PDF, 136 KB
english, 2004