GCminor

swMATH22622MaRDI QIDQ34413FDOQ34413

Author name not available (Why is that?)

Described by source

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

Cited In (3)

• Verifying a concurrent garbage collector with a rely-guarantee methodology
• The verified CakeML compiler backend
• A Verified Runtime for a Verified Theorem Prover

This page was built for software: GCminor