Separation of Concerning Things: A Simpler Basis for Defining and Programming with the C/C++ Memory Model.

Robert J. Colvin

Browse the full ICFEM paper archive.