A verified compiler from Isabelle/HOL to CakeML (Q2324018)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A verified compiler from Isabelle/HOL to CakeML |
scientific article |
Statements
A verified compiler from Isabelle/HOL to CakeML (English)
0 references
13 September 2019
0 references
Isabelle
0 references
CakeML
0 references
compiler
0 references
higher-order term rewriting
0 references
