cs.PL D.3.4; D.2.5
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
Luke Geeson James Brotherston Wilco Dijkstra Alastair F. Donaldson Lee Smith Tyler Sorensen John Wickerson