@techreport{sewell:hal-02089907, TITLE = {{C provenance semantics: examples}}, AUTHOR = {Sewell, Peter and Memarian, Kayvan and Gomes, Victor B F and Gustedt, Jens and Uecker, Martin}, URL = {https://inria.hal.science/hal-02089907}, TYPE = {Technical Report}, NUMBER = {N2363}, INSTITUTION = {{ISO JCT1/SC22/WG14}}, YEAR = {2019}, MONTH = Apr, PDF = {https://inria.hal.science/hal-02089907/file/n2363.pdf}, HAL_ID = {hal-02089907}, HAL_VERSION = {v1}, }