Assertion: memory model | /r/CapableOf | give sufficient guarantees
Facets:
Source sentences:
text: Designing a memory model that allows a maximal degree of freedom for compiler optimizations while still giving sufficient guarantees about race-free and (perhaps more importantly) race-containing programs.