The following pages link to (Q2852352):
Displayed 8 items.
- Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
- Inter-process buffers in separation logic with rely-guarantee (Q613139) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- A game semantics of concurrent separation logic (Q2130597) (← links)
- Fairness, Resources, and Separation (Q3178252) (← links)
- Automatic Parallelization and Optimization of Programs by Proof Rewriting (Q3392920) (← links)
- Automated Theorem Proving for Assertions in Separation Logic with All Connectives (Q3454118) (← links)
- Footprints in Local Reasoning (Q5458360) (← links)