Partial-coherence abstractions for relaxed memory models
Kuperstein, Michael, Vechev, Martin, Yahav, EranVolume:
47
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/2345156.1993521
Date:
August, 2012
File:
PDF, 931 KB
english, 2012