Pages that link to "Item:Q2852352"
From MaRDI portal
The following pages link to Variables as resource in separation logic (Q2852352):
Displaying 11 items.
- Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
- Inter-process buffers in separation logic with rely-guarantee (Q613139) (← links)
- Variable declarations in natural deduction (Q861825) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- A game semantics of concurrent separation logic (Q2130597) (← links)
- Variables as resource for shared-memory programs: semantics and soundness (Q2851320) (← 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)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)