References

1

J.C. Adams, W.S. Brainerd, Martin J.T., B.T. Smith, and J.L. Wagner. Fortran 90 Handbook, Complete ANSI/ISO Reference. Intertext Publications. McGraw-Hill Book Company, 1992.

2

A.V. Aho and J.D. Ullman. Principles of Compiler Design. Addison-Wesley Publishing Company, Reading, MA, 1977.

3

G.S. Almasi and A. Gottlieb. Highly Parallel Computing. The Benjamin/Cummings Publishing Company, Inc., Redwood, CA, second edition edition, 1994.

4

A. Arnold, D. Bégay, and Curbillé P. Construction and Analysis of Transition Systems with MEC. AMAST Series in Computing, Vol. 3. World Scientific, 1994.

5

Scientific Computing Associates. C-Linda Reference Manual. Scientific Computing Associates, Inc., New Haven, Connecticut, 1990.

6

U. Banerjee. Dependency analysis for supercomputing. Kluwer Academic Publishing, Norwell, MA, 1988.

7

J. Boykin, D. Kirschen, A. Langerman, and S. LoVerso. Programming Under Mach. Addison-Wesley, Reading, MA, 1993.

8

R.M. Burstall and P.J. Landin. Programs and their proofs: an algebraic approach. Machine Intelligence, 4:17-43, 1969.

9

N. Carriero and D. Gelernter. How to write parallel programs: A first course. MIT Press, Cambridge, MA, 1990.

10

K.M. Chandy and J. Mishra. Parallel Program Design - A Foundation -. Addison-Wesley Publishing Company, Reading, MA, 1988.

11

I. Classen, H. Ehrig, and D. Wolz. Algebraic Specification Techniques and Tools for Software Development. AMAST Series in Computing, Vol. 2. World Scientific, 1993.

12

ENCORE Computer Corporation. Encore Parallel Threads, 724-06210, rev. a edition, May 1988.

13

I. Foster. Designing and Building Parallel Programs - Concepts and Tools for Parallel Software Engineering -. Addison-Wesley Publishing Company, Reading, MA, 1995.

14

C.A. Gunter and D.S. Scott. Semantic domains. In J. van Leeuwen, editor, Handbook of Theoretical Computer Sciencei - Volume B: Formal Models and Semantics, pages 633-674. The MIT Press/Elsevier Science Publishers, 1990.

15

J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley Publishing Company, Readings, MA, 1979.

16

Argonne National Laboratory. Using the alliant fx/8. Technical Report Technical Memorandum Number 69, Rev. 1, Argonne National Laboratory, Mathematics and Computer Science Division, September 1986.

17

P. Messina and T. Sterling, editors. System Software and Tools for High Performance Computing Environments. SIAM, Society for Industrial and Applied Mathematics, Philadelphia, 1993.

18

R. Miller. The status of parallel processing education. IEEE Computer, pages 40-43, August 1994.

19

P.G. Neumann. Computer Related Risks. Addison-Wesley Publishing Company, Reading, MA, 1995.

20

M.J. Quinn. Parallel Computing - Theory and Practice -. McGraw-Hill Series in Computer Science. McGraw-Hill, 1994.

21

T. Rus. Algebraic construction of compilers. Theoretical Computer Science, 90:271-308, 1991.

22

E. Shapiro, editor. Concurrent Prolog: collected papers. MIT Press, 1987.

23

R.N. Taylor, F.C. Belz, L.A. Clarke, L. Osterweil, R.W. Selby, J.C. Wileden, A.L. Wolf, and M. Young. Foundation for the arcadia environment architecture. In Proceedings of SIGSOFT'88: The Third Symposium on Software Development Environments, pages 1-13, November 1988.

24

M. Wirsing. Algebraic specification. In managing editor J. van Leeuwen, editor, Handbook of Theoretical Computer Science - Volume B: Formal Models and Semantics -. The MIT Press/Elesevier, 1990.

25

M.J. Wolfe. Optimizing supercompilers for supercomputers. Pitman Publishing, MIT Press, Cambridge MA, 1989.

26

W.A. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. C. Pierson, and F. Pollack. Hydra: The kernel of a multiprocessor operating system. Communications of the ACM, 17(6):337-345, June 1974.