Pages that link to "Item:Q2319995"
From MaRDI portal
The following pages link to Verifying a concurrent garbage collector with a rely-guarantee methodology (Q2319995):
Displaying 9 items.
- Lock-free parallel and concurrent garbage collection by mark\&sweep (Q858913) (← links)
- Verifying a concurrent garbage collector using a rely-guarantee methodology (Q1687774) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- (Q2753748) (← links)
- Automated verification of practical garbage collectors (Q2786120) (← links)
- Formal Verification of an Incremental Garbage Collector (Q4812315) (← links)
- Verification: Theory and Practice (Q5305657) (← links)
- A verified generational garbage collector for CakeML (Q5915786) (← links)
- A verified generational garbage collector for CakeML (Q5919585) (← links)