Pages that link to "Item:Q1336946"
From MaRDI portal
The following pages link to A mechanically verified incremental garbage collector (Q1336946):
Displayed 7 items.
- Fine-grained concurrency with separation logic (Q763473) (← links)
- Simplification of boolean verification conditions (Q1575276) (← links)
- Specification and verification of concurrent programs through refinements (Q2351261) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)
- (Q5875426) (← links)
- A verified generational garbage collector for CakeML (Q5915786) (← links)
- A verified generational garbage collector for CakeML (Q5919585) (← links)