A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models.

Robert J. Colvin

Browse the full FM paper archive.