Pages that link to "Item:Q5233246"
From MaRDI portal
The following pages link to Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs (Q5233246):
Displaying 5 items.
- Data-race and concurrent-write freedom are undecidable. (Q1399005) (← links)
- Non-preemptive semantics for data-race-free programs (Q1623168) (← links)
- Improving thread-modular abstract interpretation (Q2145342) (← links)
- Local Data Race Freedom with Non-multi-copy Atomicity (Q5883581) (← links)
- Clustered relational thread-modular abstract interpretation with local traces (Q6535225) (← links)