![Compiler construction / Programming language implementation / Type theory / Compilers / Procedural programming languages / Compiler / Type system / Formal verification / Type safety / Software engineering / Computing / Software Compiler construction / Programming language implementation / Type theory / Compilers / Procedural programming languages / Compiler / Type system / Formal verification / Type safety / Software engineering / Computing / Software](https://www.pdfsearch.io/img/57d5ab4a3f889f0af46be35749d3fba7.jpg)
| Document Date: 2009-10-29 04:36:18 Open Document File Size: 507,28 KBShare 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 |