The following pages link to (Q4428314):
Displaying 5 items.
- Certifying compilers using higher-order theorem provers as certificate checkers (Q633302) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Verified bytecode verification and type-certifying compilation (Q1881665) (← links)
- \(\mu\)Java: Embedding a programming language in a theorem prover (Q2752051) (← links)
- Formal certification of a compiler back-end or (Q5348912) (← links)