Login / Signup
Formally Verified Native Code Generation in an Effectful JIT - or: Turning the CompCert Backend into a Formally Verified JIT Compiler.
Aurèle Barrière
Sandrine Blazy
David Pichardie
Published in:
CoRR (2022)
Keyphrases
</>
code generation
back end
java virtual machine
application development
code generator
user friendly
data management
building blocks
modeling language
data types
information technology
data mining
design patterns
open source
model driven
software engineering
data structure