Pages that link to "Item:Q283756"
From MaRDI portal
The following pages link to Abstract local reasoning for concurrent libraries: mind the gap (Q283756):
Displaying 4 items.
- Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
- DOM: Specification and Client Reasoning (Q3179307) (← links)
- Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs (Q5233246) (← links)
- Programming Languages and Systems (Q5308684) (← links)