Reasoning about the ARM weakly consistent memory model
Nathan Chong, Samin Ishtiaq[doi] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 2008 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), Seattle, Washington, USA, March 2, 2008
Pages 16-19
2008
Note(s): weak memory
Pages 16-19
2008
Note(s): weak memory