A calculational approach to flattening nested data parallelism in functional languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1179, Issue , 1996, Pages 234-243

  Keller, Gabriele ^a   Simons, Martin ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Calculational method; Flattening transformation; Functional programming; Implementation; Nested data parallelism; Parallel programming

Indexed keywords

METADATA; PARALLEL PROGRAMMING; PROGRAM TRANSLATORS;

CALCULATIONAL METHOD; DATA PARALLEL PROGRAMS; DATA-PARALLEL PROGRAMMING; FLATTENING TRANSFORMATION; FUNCTIONAL LANGUAGES; IMPLEMENTATION; MASSIVELY PARALLEL COMPUTERS; NESTED DATA PARALLELISMS;

FUNCTIONAL PROGRAMMING;

EID: 84947920582     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0027796     Document Type: Conference Paper

References (20)

1. P. K. T. Au, M. M. T. Chakravarty, J. Darlington, Y. Guo, S. Jahnichen, G. Keller, M. Kohler, M. Simons, and W. Pfannenstiel. Enlarging the scope of vector-based computations: extending Fortran 90 with nested data parallelism. In W. Giloi, ed., Intl. Conf. on Advances in Parallel and Distributed Computing. IEEE Computer Society, 1997.
2. R. Backhouse. The calulational method. Inf. Process. Lett., 53, 1995.
3. R. Bird. An introduction to the theory of lists. In M. Broy, ed., Logic of Programming and Calculi of Discrete Design, pp. 3—42. Springer, 1986.
4. G. E. Blelloch. Vector Models for Data-Parallel Computing. The MIT Press, 1990.
5. G. E. Blelloch. Nesl: A nested data-parallel language. TR CMU-CS-95-170, CMU, 1995.
6. G. E. Blelloch. Programming parallel algorithms. Commun. ACM, 39(3):85-97, 1996.
7. G. E. Blelloch, S. Chatterjee, J. C. Hardwick, M. Reid-Miller, J. Sipelstein, and M. Zagha. CVL: A C vector library. TR CMU-CS-93-114, CMU, 1993.
8. G. E. Blelloch, S. Chatterjee, J. C. Hardwick, J. Sipelstein, and M. Zagha. Implementation of a portable nested data-parallel language. J. Par. Distr. Comput., 21(1):4-14, 1994.
9. M. M. T. Chakravarty, F.-W. Schroer, and M. Simons. V—Nested parallelism in C. In Giloi et al. [10], pp. 167-174.
10. W. K. Giloi, S. Jahnichen, and B. D. Shriver, eds. Programming Models for Massively Parallel Computers. IEEE Computer Society, 1995.
11. D. Gries and F. B. Schneider. Avoiding the undefined by underspecification. In J. van Leeuwen, ed., Computer Science Today, LNCS 1000, pp. 366-373. Springer, 1996.
12. HPF Forum. HPF language specification (Version 1.0). Tech. rep., Rice University, 1993.
13. C. B. Jay. A semantics for shape. Set. Comput. Programming, 25:251-283, 1995.
14. S. Liang and P. Hudak. Modular denotational semantics for compiler construction. In H. R. Nielson, ed., Europ. Symp. on Programming (ESOP'96), LNCS 1058. Springer 1996
15. D. Palmer, J. Prins, and S. Westfold. Work-efficient nested data-parallelism, in 5th Symp. on the Front, of Massively Parallel Processing. IEEE Computer Society, 1995.
16. J. Prins and D. Palmer. Transforming high-level data-parallel program's into vector operations. In 4th ACM Symp. on Princ. and Pract. Of Parall. Programming, pp. 119-128 1993
17. J. W. Riely, J. Prins, and S. P. Iyer. Provably correct vectorization of nested-parallel programs. In Giloi et al. [10], pp. 213-222.
18. G. W. Sabot. The Paralation Model: Architecture-Independent Parallel Programming The MIT Press, 1988.
19. Thinking Machines Corporation. C Language Reference Manual, 1991.
20. P. Wadler. Comprehending monads. Math. Struct, in Comp. Sci., 2:461-493, 1992.