Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves (Q928671)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 5287723
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves |
scientific article; zbMATH DE number 5287723 |
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
0 references
0.86909074
0 references
0 references
0.8574368
0 references
0.85649294
0 references
0.8455167
0 references
0.8445925
0 references
