The following pages link to Fictional Separation Logic (Q2892740):
Displaying 9 items.
- Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652) (← links)
- Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
- Automated Theorem Proving for Assertions in Separation Logic with All Connectives (Q3454118) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- (Q5324185) (← links)