The following pages link to (Q4809043):
Displayed 5 items.
- A mechanical analysis of program verification strategies (Q928673) (← links)
- Verified bytecode verification and type-certifying compilation (Q1881665) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- Formal Certification of a Resource-Aware Language Implementation (Q3183530) (← links)
- Automatic Parallelization and Optimization of Programs by Proof Rewriting (Q3392920) (← links)