Moving to a provenance-aware memory object model for C: proposal for C2x

Jens Gustedt 1 Peter Sewell 2 Kayvan Memarian 2 Victor Gomes 2 Martin Uecker 3
1 CAMUS - Compilation pour les Architectures MUlti-coeurS
Inria Nancy - Grand Est, ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
Document type :
Reports
Liste complète des métadonnées

https://hal.inria.fr/hal-02089889
Contributor : Jens Gustedt <>
Submitted on : Thursday, April 4, 2019 - 11:39:31 AM
Last modification on : Friday, April 5, 2019 - 1:24:34 AM

File

n2362+appendix.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02089889, version 1

Citation

Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor Gomes, Martin Uecker. Moving to a provenance-aware memory object model for C: proposal for C2x. [Technical Report] N2362, ISO JCT1/SC22/WG14. 2019. ⟨hal-02089889⟩

Share

Metrics

Record views

16261

Files downloads

3695