Pages that link to "Item:Q4972072"
From MaRDI portal
The following pages link to The verified CakeML compiler backend (Q4972072):
Displaying 9 items.
- A verified proof checker for higher-order logic (Q1987736) (← links)
- Information-flow control on ARM and POWER multicore processors (Q2147697) (← links)
- \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML (Q2233509) (← links)
- Verified Characteristic Formulae for CakeML (Q2988660) (← links)
- The verified CakeML compiler backend (Q4972072) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- A Fast Verified Liveness Analysis in SSA Form (Q5049011) (← links)
- Automatically Introducing Tail Recursion in CakeML (Q5056071) (← links)
- Characteristic formulae for liveness properties of non-terminating CakeML programs (Q5875446) (← links)
