Pages that link to "Item:Q2786120"
From MaRDI portal
The following pages link to Automated verification of practical garbage collectors (Q2786120):
Displaying 7 items.
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms (Q832310) (← links)
- Verifying a concurrent garbage collector with a rely-guarantee methodology (Q2319995) (← links)
- (Q2753748) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- Automatic Space Bound Analysis for Functional Programs with Garbage Collection (Q5222979) (← links)
- A verified generational garbage collector for CakeML (Q5915786) (← links)
- A verified generational garbage collector for CakeML (Q5919585) (← links)