Local reasoning about a copying garbage collector
From MaRDI portal
Publication:3452262
Recommendations
Cited in
(12)- Verifying a concurrent garbage collector with a rely-guarantee methodology
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
- scientific article; zbMATH DE number 1701349 (Why is no real title available?)
- A semantics for concurrent separation logic
- Higher-order separation logic in Isabelle/HOLCF
- Relational separation logic
- Program logic and equivalence in the presence of garbage collection.
- Practical Tactics for Separation Logic
- Formal models of distributed memory management
- An adaptation-complete proof system for local reasoning about cloud storage systems
- Reasoning about block-based cloud storage systems via separation logic
- Hoare type theory, polymorphism and separation
This page was built for publication: Local reasoning about a copying garbage collector
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452262)