Pages that link to "Item:Q4972072"
From MaRDI portal
The following pages link to The verified CakeML compiler backend (Q4972072):
Displaying 5 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)
- Characteristic formulae for liveness properties of non-terminating CakeML programs (Q5875446) (← links)
