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
UPDATE