A verified compiler for an impure functional language (Q5255065)
From MaRDI portal
scientific article; zbMATH DE number 6445087
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A verified compiler for an impure functional language |
scientific article; zbMATH DE number 6445087 |
Statements
A verified compiler for an impure functional language (English)
0 references
11 June 2015
0 references
compiler verification
0 references
interactive proof assistants
0 references
