Bibliography

1

Richard Bird.
Introduction to the theory of lists.
In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, pages 5-42. Springer-Verlag, 1987.

2

Luc Bouge.
The data-parallel programming model : A semantic perspective.
Technical Report No. 92-45, Ecole Normale Superieure de Lyon, 1992.

3

W. Chin, S. Tan, and Y. Teo.
Deriving efficient parallel programs for complex recurrences.
In ACM SIGSAM/SIGNUM International Conference on Parallel Symbolic Computation, pages 101-110, Hawaii, July 1997.

4

Patrick Cousot and Radhia Cousot.
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints.
In Proceedings of the 4th ACM Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, California, January 1977.

5

G.E.Blelloch.
NESL: A nested data parallel language.
Technical Report CMU-CS-93-129, School of Computer Science, Carnegie Mellon University, 1993.
nesl.ps.

6

A. Geser and S. Gorlatch.
Parallelizing functional programs by generalization.
In Algebraic and Logic Programming. ALP'97, Lecture Notes in Computer Science. Springer-Verlag, 1997.
To appear.

7

Jeremy Gibbons.
Upwards and downwards accumulations on trees.
In R. S. Bird, C. C. Morgan, and J. C. P. Woodcock, editors, Mathematics of Program Construction, 122-138, 1993. Springer-Verlag, LNCS 699.

8

Sergei Gorlatch.
Extracting and implementing list homomorphisms in parallel program development.
Science of Computer Programming, 33(1):1-27, January 1999.

9

Z. N. Grant-Duff and P. G. Harrison.
Parallelism via homomorphisms.
Parallel Processing Letters, 6(2):279-295, June 1996.

10

W.D. Hillis and G. Steele.
Data Parallel Algorithms.
Communications of the ACM, 29(12):1170-1183, 1989.

11

Zhenjiang Hu, Hideya Iwasaki, and Masato Takechi.
Calculating accumulations.
Technical Report METR 96-03, Department of Mathematical Engineering and Information Physics, University of Tokyo, March 1996.

12

Zhenjiang Hu, Hideya Iwasaki, and Masato Takechi.
Formal derivation of efficient parallel programs by construction of list homomorphisms.
ACM Transactions on Programming Languages and Systems, 19(3):444-461, May 1997.

13

Zhenjiang Hu, Masato Takechi, and Wei-Ngan Chin.
Parallelization in calculation forms.
In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Sandiego, CA, USA, January 1998.

14

Zhenjiang Hu, Masato Takechi, and Hideya Iwasaki.
Diffusion: Calculating efficient parallel programs.
In 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99), pages 95-94, San Antonio, Texas, January 1999.

15

Neil D. Jones and Alan Mycroft.
Data flow analysis of applicative programs using minimal function graphs : Abridged version.
In Proceedings of the 13th ACM Symposium on Principles of Programming Languages, pages 296-306, St. Petersburg Beach, Florida, January 1986.

16

Cole M.
Parallel programming, list homomorphisms, and the maximum segment sum problems.
Technical Report CSR-25-93, Dept of Computing Science, The Univ. of Edinburgh, 1993.

17

E. Meijer, M.M. Fokkinga, and R. Paterson.
Functional programming with bananas, lenses, envelopes and barbed wire.
In FPCA91: Functional Programming Languages and Computer Architecture, volume 523 of LNCS, pages 124-144. Springer-Verlag, 1991.

18

Susumu Nishimura and Atsushi Ohori.
A Calculus for Exploiting Data Parallelism on Recursively Defined Data.
In Proc. of International Workshop on Theory and Practice on Parallel Programming, 1994.

19

A. Rogers, J. Reppy, and L. Hendren.
Supporting dynamic data structures on distributed-memory machines.
ACM Transactions on Programming Languages and Systems, 17(2):233-263, March 1995.

20

J. Sipelstein and G. E. Blelloch.
Collection-oriented languages.
Proceedings of the IEEE, 79(4):504-523, April 1991.

21

D.B. Skillicorn.
The Bird-Meertens Formalism as a parallel model.
In J.S. Kowalik and L. Grandinetti, editors, Software for Parallel Computation, volume 106 of NATO ASI Series F, pages 120-133. Springer-Verlag, 1993.

22

D.B. Skillicorn.
Parallel implementation of tree skeletons.
Journal of Parallel and Distributed Computing, 39(2):115-125, 1996.

23

M. Weiser.
Program Slicing.
IEEE Transactions on Software Engineering, 10(4):352-357, April 1984.