CompCertTSO (Q5395719)
From MaRDI portal
scientific article; zbMATH DE number 6258117
Language | Label | Description | Also known as |
---|---|---|---|
English | CompCertTSO |
scientific article; zbMATH DE number 6258117 |
Statements
CompCertTSO (English)
0 references
17 February 2014
0 references
relaxed memory models
0 references
semantics
0 references
verified compilation
0 references