© 1993 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
Parallel Functional Programming with Arrays

1 Universite de Montreal, Infomatiques et Recherche Operationnelle, case postale 6128, succarsale A, Montreal, Quebec, Canada H3C 3J7, 2 Computer Science, University of Missouri at Rolla, Rolla, MO 64501, USA
We present an equational formalization of arrays for data-parallel functional programming. Non-nested arrays simplify the mapping problem to regular architecture, avoid nested list representations and prevent the occurrence of an explosive number of algebraic laws. The MOA formalism describes arrays in a dimension-independent algebra. A new style of functional programming is described with MOA operators, allowing recursive equations to describe the meaning as well as the structure of algorithms for mesh- or hypercube-connected multiprocessors.
* Université de Montréal, Infomatiques et Recherche Opérationnelle, case postale 6128, succursale A, Montréal, Québec, Canada H3C 3J7
Computer Science, University of Missouri at Rolla, Rolla, MO 64501, USA