VEC is a higher-order functional language of nested arrays, which includes a general folding operation. Static computation of the shape of its programs is used to support a compositional cost calculus basedmn a cost monad. This, in turn, is based on a cost algebra, whose operations may be customized to handle different cost regimes, especially for parallel programming. We present examples based on sequential costing and on the PRAM model of parallel computation. The latter has been implemented in Haskell, and applied to some linear algebra examples.
CITATION STYLE
Jay, C. B., Cole, M. I., Sekanina, M., & Steckler, P. (1997). A monadic calculus for parallel costing of a functional language of arrays. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1300 LNCS, pp. 650–661). Springer Verlag. https://doi.org/10.1007/bfb0002796
Mendeley helps you to discover research relevant for your work.