GCminor

MaRDI QIDQ34413swMATHFDO

Official website https://dl.acm.org/citation.cfm?doid=1863543.1863584

Described by source

• A certified framework for compiling and executing garbage-collected languages

Cited in

(7)

• Verifying a concurrent garbage collector with a rely-guarantee methodology
• VLISP
• CompCertTSO
• cminor
• MLCompCert
• A verified runtime for a verified theorem prover
• The verified CakeML compiler backend

This page was built for software: GCminor