Parallelization of divide-and-conquer by translation to nested loops (Q4934239)
From MaRDI portal
scientific article; zbMATH DE number 1389825
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parallelization of divide-and-conquer by translation to nested loops |
scientific article; zbMATH DE number 1389825 |
Statements
Parallelization of divide-and-conquer by translation to nested loops (English)
0 references
17 January 2000
0 references
equational reasoning in Haskell
0 references
