Back to Results
First PageMeta Content
Compiler construction / Programming language implementation / Type theory / Compilers / Procedural programming languages / Compiler / Type system / Formal verification / Type safety / Software engineering / Computing / Software


Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy
Add to Reading List

Document Date: 2009-10-29 04:36:18

Open Document

File Size: 507,28 KB

Share Result on Facebook

/

Facility

Actually building / /

IndustryTerm

assurance software / program proof technology / classic compiler technology / embedded software / embedded systems / low-assurance software / safety-critical software industry / compilation algorithms / sound type systems / /

OperatingSystem

L3 / /

Person

Xavier Leroy / /

Position

editor / code producer / proof assistant / General / Coq proof assistant / /

ProgrammingLanguage

Java bytecode / C / ML / Java / /

Technology

virtual machine / compilation algorithms / simulation / applying program proof technology / Java / classic compiler technology / /

SocialTag