Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves (Q928671)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves |
scientific article |
Statements
Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves (English)
0 references
11 June 2008
0 references
Parallel move
0 references
Parallel assignment
0 references
Compilation
0 references
Compiler correctness
0 references
Coq proof assistant
0 references
0 references
