Login / Signup
Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler.
Aurèle Barrière
Sandrine Blazy
David Pichardie
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
code generation
back end
application development
software development
user friendly
java virtual machine
machine learning
distributed systems
data management
modeling language
software reuse
databases
information systems
case study
high level
data analysis