@book{gustedt:hal-02957464, TITLE = {{A Provenance-aware Memory Object Model for C}}, AUTHOR = {Gustedt, Jens and Sewell, Peter and Memarian, Kayvan and Gomes, Victor B F and Uecker, Martin}, URL = {https://inria.hal.science/hal-02957464}, NOTE = {Draft Technical Specification, proposed to the national bodies for standardization}, PUBLISHER = {{ISO/IEC TC1/SC22/WG14}}, PAGES = {131}, YEAR = {2022}, MONTH = Jun, HAL_ID = {hal-02957464}, HAL_VERSION = {v1}, }