Abstract | ||
---|---|---|
Locality-aware algorithms over distributed arrays can be very difficult to write. Yet such algorithms are becoming more and more important as desktop machines boast more and more processors. This paper shows how a dependently-typed programming language can aid in the development of these algorithms and statically ensure that every well-typed program will only ever access local data. Such static guarantees can help catch programming errors early on in the development cycle and maximise the potential speedup that multicore machines offer. At the same time, the functional specification of effects presented here facilitates the testing of and reasoning about algorithms that manipulate distributed arrays. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/s10990-011-9075-y | Higher-Order and Symbolic Computation |
Keywords | Field | DocType |
dependently-typed programming language,development cycle,multicore machines offer,programming error,desktop machine,functional specification,local data,potential speedup,static guarantee,well-typed program,dependent type | Programming language,Computer science,Parallel computing,Multi-core processor,Functional specification,Speedup | Conference |
Volume | Issue | ISSN |
23 | 4 | 1573-0557 |
Citations | PageRank | References |
5 | 0.57 | 9 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wouter Swierstra | 1 | 196 | 15.46 |
Thorsten Altenkirch | 2 | 668 | 56.85 |