Derivation of Efficient Data Parallel Programs (1993)

Cached

Download Links

by Paul Roe
Venue:In 17th Australasian Computer Science Conference
Citations:6 - 0 self

Documents Related by Co-Citation

140 Parallel Programming Using Skeleton Functions – J. Darlington, A.J. Field, P.G. Harrison, P.H.J. Kelly, D. W. N. Sharp, Q. Wu, R.L. While - 1993
234 Vector models for data-parallel computing – G E Blelloch - 1990
371 Algorithmic Skeletons: Structured Management of Parallel Computation – M Cole - 1988
39 The Bird-Meertens Formalism as a Parallel Model – D. B. Skillicorn - 1993
56 Algebraic identities for program calculation – R S Bird - 1989
1224 Introduction to functional programming – Philip Wadler - 1995
2 Parallelism and the Bird-Meertens formalism. Obtained via ftp from Queens university – David B Skillicorn - 1992
45 A typed lambda calculus with categorical type constructors – Tatsuya Hagino - 1987
77 Algebraic Data Types and Program Transformation – G R Malcolm - 1990
127 Nesl: A Nested Data-Parallel Language – Guy Blelloch, Parallel Ram Model - 1990
57 A cost calculus for parallel functional programming – D. B. Skillicorn - 1995
4 A constructive theory of Multidimensional Arrays – Richard Miller - 1993
16 A categorical approach to the theory of lists – M Spivey - 1989
36 Models for Practical Parallel Computation – D B Skillicorn - 1991
41 A calculus of functions for program derivation – R S Bird - 1990
205 An introduction to the theory of lists – R Bird - 1987
143 Scans as Primitive Parallel Operations – Guy Blelloch - 1987
2 Path expressions as selectors for non-linear text – I A Macleod - 1993
17 Efficient Parallel Algorithms for Tree Accumulations – Jeremy Gibbons, Wentong Cai, David B. Skillicorn - 1994