References
- Bird , R. S. , Lectures on constructive functional programming. In: Broy , M. , Constructive Methods in Computing Science , (Inc. Summer School 1988, Marktoberdorf , Germany ), Vol. 55 of NATO ASI Series F, pp. 150 – 216 . Springer-Verlag, 1989 .
- Blelloch , G. E. , Vector Models for Data-Parallel Computing. , MIT Press, 1990 .
- Cai , W. and Skillicorn , D. B. ( 1995 ). Calculating recurrences using the Bird-Meertens formalism , Parallel Processing Letters , 5 ( 2 ), 179 – 190 .
- Gorlatch , S. , Optimizing compositions of scans and reductions in parallel program derivation. Technical Report MIP-9711, Fakultät für Mathematik und lnfornatik , Universitat Passau, May , 1997 .
- Gorlatch , S. and Lengauer , C. (De)composition rules for parallel scan and reduction. In: 3rd Working Conon Massively Parallel Programming Models (MPPM'97) , pp. 23–32. IEEE Computer Society Press, 1998.
- Gorlatch , S. , Wedler , C. and Lengauer , c. , Optimization rules for programming with collective operations. In: Atallah , M. , 13th Int. Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing (IPPS/SPDP'99) , pp. 492 – 499 . IEEE Computer Society Press, 1999 .
- Gropp , W. , Lusk , E. and Skjellum , A. , Using MPl: Portable Parallel Programming with the Message-Passing Interface. Scientificand Engineering Computation Series. , MIT Press, 1994 .
- Knuth , D. E. ( 1980 ). The Art ofComputer Programming, 2 : Seminumeral Algorithms. , Addison-Wesley, 2nd edition .
- Leighton , T. , Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes. , Morgan Kaufmann, 1992 .
- Lewis , T. and Arvind , D. K. , Static analysis of recursive data structures. In: Li , Z . et al . 10th Int. Workshop on Languages and Compilers for Parallel Computing (LCPC'97) , 1366 of Lecture Notes in Computer Science, pp. 423 – 426 . Springer-Verlag, 1998 .
- Mba , R. P. , Gleichungsbeweise paralleler Implementierungen linear rekursiver Programme. Diplomarbeit, Fakultät fär Mathematik and Informatik , Universitiit Passau, March , 1998 .
- O'Donnell , J. T. ( 1994 ). A correctness proof of parallel scan. Parallel Processing Leiters , 4 ( 3 ), 329 – 338 .
- Skillicorn , D. B. , Foundations ofParallel Programming. , Cambridge University Press, 1994 .
- Wedler , C. and Lengauer , C. ( 1998 ). On linear list recursion in parallel. Acta Informatica , 35 ( 10 ), 875 – 909 .
- Corresponding author. Tel.: +49–6227–764814, Fax: +49–6227–774814, e-mail: christoph. [email protected]