A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction (Q2879257)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction |
scientific article |
Statements
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction (English)
0 references
8 September 2014
0 references
list homomorphism
0 references
functional programming
0 references
automatic program calculation
0 references
semiring computation
0 references
bulk synchronous parallelism
0 references
Coq
0 references
