Certification of breadth-first algorithms by extraction (Q2176671)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Certification of breadth-first algorithms by extraction |
scientific article |
Statements
Certification of breadth-first algorithms by extraction (English)
0 references
5 May 2020
0 references
breadth-first algorithms
0 references
queues in functional programming
0 references
correctness by extraction
0 references
Coq
0 references
