@techreport{gustedt:hal-02089889, TITLE = {{Moving to a provenance-aware memory object model for C: proposal for C2x}}, AUTHOR = {Gustedt, Jens and Sewell, Peter and Memarian, Kayvan and Gomes, Victor B F and Uecker, Martin}, URL = {https://inria.hal.science/hal-02089889}, TYPE = {Technical Report}, NUMBER = {N2362}, INSTITUTION = {{ISO JCT1/SC22/WG14}}, YEAR = {2019}, MONTH = Apr, PDF = {https://inria.hal.science/hal-02089889/file/n2362%2Bappendix.pdf}, HAL_ID = {hal-02089889}, HAL_VERSION = {v1}, }