Login / Signup

Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler.

Aurèle BarrièreSandrine BlazyDavid Pichardie
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases