Assertion: memory model | /r/CapableOf | allow maximal degree of freedom
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.