TY  - RPRT
TI  - Separation of concerning things: a simpler basis for defining and programming with the C/C++ memory model (extended version)
AU  - Robert J. Colvin
PY  - 2022
UR  - https://arxiv.org/abs/2204.03189
ID  - 2204.03189
ER  -