Pages that link to "Item:Q5176947"
From MaRDI portal
The following pages link to A certified framework for compiling and executing garbage-collected languages (Q5176947):
Displayed 6 items.
- GCminor (Q34413) (← links)
- Verifying a concurrent garbage collector using a rely-guarantee methodology (Q1687774) (← links)
- Verifying a concurrent garbage collector with a rely-guarantee methodology (Q2319995) (← links)
- A Verified Runtime for a Verified Theorem Prover (Q3088011) (← links)
- The verified CakeML compiler backend (Q4972072) (← links)
- Cogent: uniqueness types and certifying compilation (Q5019022) (← links)