Pages that link to "Item:Q3452262"
From MaRDI portal
The following pages link to Local reasoning about a copying garbage collector (Q3452262):
Displayed 9 items.
- A semantics for concurrent separation logic (Q879367) (← links)
- Relational separation logic (Q879369) (← links)
- An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067) (← links)
- Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
- Verifying a concurrent garbage collector with a rely-guarantee methodology (Q2319995) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- Practical Tactics for Separation Logic (Q3183539) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- Higher-Order Separation Logic in Isabelle/HOLCF (Q5415649) (← links)