Pages that link to "Item:Q1687774"
From MaRDI portal
The following pages link to Verifying a concurrent garbage collector using a rely-guarantee methodology (Q1687774):
Displaying 4 items.
- Verifying a concurrent garbage collector using a rely-guarantee methodology (Q1687774) (← 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)
- A verified generational garbage collector for CakeML (Q5919585) (← links)