Sonstige Dokumente
- Case Study
- Trusted CerCo Prototype
- Executable Formal Semantics of back-end intermediate languages
- Executable Formal Semantics of front end intermediate languages
- Front end Correctness Proofs
- Organization of an Event Targeted to the Scientific Community
- Untrusted Cerco Prototype
- CIC encoding: Back-end
- Organization of an Event Targeted to Potential Industrial Stakeholders
- Packages for Linux distributions and Live CD
- Compiler Design and intermediate languages
- Back-end Correctness Proofs
- Untrusted Cost-annotating OCaml Compiler
- Case study: analysis of syncronous code
- CIC encoding: Front-end
- Executable Formal Semantics of C
- Untrusted CerCo Prototype
- Project Web Site and Software Repository
- Executable Formal Semantics of Machine Code
