![](/img/cover-not-exists.png)
[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - Automatically comparing memory consistency models
Wickerson, John, Batty, Mark, Sorensen, Tyler, Constantinides, George A.Year:
2017
Language:
english
DOI:
10.1145/3009837.3009838
File:
PDF, 595 KB
english, 2017