Compositional Parallel Programming Languages

ACM Transactions on Programming Languages and Systems

Volumn 18, Issue 4, 1996, Pages 454-476

  Foster, Ian ^a  

^a ARGONNE NATIONAL LABORATORY   (United States)

Author keywords

Compositionality; D.3.2 Programming Languages : Language Classifications concurrent, distributed, and parallel languages; D.3.3 Programming Languages : Language Constructs and Features concurrent programming structures; Languages

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; CONCURRENCY CONTROL; PARALLEL PROCESSING SYSTEMS; SYNCHRONIZATION;

COMPOSITIONALITY; MONOTONE OPERATIONS; PARALLEL COMPOSITION; PARALLEL LANGUAGES; PARALLEL PROGRAMMING; PROGRAM COMPONENTS; PROGRAM COMPOSITION NOTATION PROGRAMMING LANGUAGE; STRAND PROGRAMMING LANGUAGE; TASK PARALLEL PROGRAMS; UNIFORM ADDRESSING MECHANISM;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0030194286     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/233561.233565     Document Type: Article

References (40)

1. ACKERMAN, W. B. 1982. Data flow languages. Computer 15, 2 (Feb.), 15-25.
2. ARMSTRONG, J. AND VIRDING, S. 1989. Programming telephony. In Strand: New Concepts in Parallel Programming. Prentice-Hall, Englewood Cliffs, N.J.
3. BUTLER, R. AND LUSK, E. 1994. Monitors, message, and clusters: The p4 parallel programming system. Parallel Comput. 20, 547-564.
4. BUTLER, R., FOSTER, I., KARONIS, N., OLSON, R., PFLUGER, N., PRICE, M., AND TUECKE, S. 1989. Aligning genetic sequences. In Strand: New Concepts in Parallel Programming. Prentice-Hall, Englewood Cliffs, N.J.
5. CANN, D., FEO, J., AND DEBONI, T. 1990. Sisal 1,2: High performance applicative computing. In Proceedings of the Symposium on Parallel and Distributed Processing. IEEE Computer Science Press, Los Alamitos, Calif., 612-616.
6. CARRIERO, N. AND GELERNTER, D. 1989. Linda in context. Commun. ACM 32, 4 (Apr.), 444-458.
7. CHANDY, K. M. AND FOSTER, I. 1995. A deterministic notation for cooperating processes. IEEE Trans. Parallel Distrib. Syst. 6, 8, 863-871.
8. CHANDY, K. M. AND KESSELMAN, C. 1992. The derivation of compositional programs. In Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming. MIT Press, Cambridge, Mass.
9. CHANDY, K. M. AND KESSELMAN, C. 1993. CC++: A declarative concurrent object oriented programming notation. In Research Directions in Object Oriented Programming. MIT Press, Cambridge, Mass.
10. CHANDY, K. M. AND TAYLOR, S. 1991. An Introduction to Parallel Programming. Jones and Bartlett, Boston, Mass.
11. CHAPMAN, B., MEHROTRA, P., AND ZIMA, H. 1992. Programming in Vienna Fortran. Sci. Program. 1, 1, 31-50.
12. CLARK, K. AND GREGORY, S. 1981. A relational language for parallel programming. In Proceedings of the 1981 ACM Conference on Functional Programming Languages and Computer Architectures. ACM, New York, 171-178.
13. CLOCKSIN, W. AND MELLISH, C. 1981. Programming in Prolog. Springer-Verlag, Berlin.
14. COLE, M. 1989. Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press, Cambridge, Mass.
15. DIJKSTRA, E. 1975. Guarded commands, nondeterminacy and the formal derivation of programs. Commun. ACM 18, 453-457.
16. FOSTER, I. 1989. A multicomputer garbage collector for a single-assignment language. Int. J. Parallel Program. 18, 3, 181-203.
17. FOSTER, I. AND TAYLOR, S. 1990. Strand: New Concepts in Parallel Programming. Prentice-Hall, Englewood Cliffs, N.J.
18. FOSTER, I., KESSELMAN, C., AND TAYLOR, S. 1990. Concurrency: Simple concepts and powerful tools. Comput. J. 33, 6, 501-507.
19. FOSTER, I., OLSON, R., AND TUECKE, S. 1992. Productive parallel programming: The PCN approach. Sci. Program. 1, 1, 51-66.
20. FOX, G., HIRANANDANI, S., KENNEDY, K., KOELBEL, C., KREMER, U., TSENG, C., AND WU, M. 1990. Fortran D language specification. Tech. Rep. TR90-141, Dept. of Computer Science, Rice Univ., Houston, Tex. Dec.
21. GREGORY, S. 1987. Parallel Logic Programming in PARLOG. Addison-Wesley, Reading, Mass.
22. GROPP, W., LUSK, E., AND SKJELLUM, A. 1995. Using MPI: Portable Parallel Programming with the Message Passing Interface. MIT Press, Cambridge, Mass.
23. HARRAR, D., KELLER, H., LIN, D., AND TAYLOR, S. 1991. Parallel computation of Taylor-vortex flows. In Proceedings of the Conference on Parallel Computational Fluid Dynamics. Elsevier Science Publishers B.V., Amsterdam.
24. HOARE, C. 1974. Monitors: An operating system structuring concept. Commun. ACM 17, 10 (Oct.), 549-557.
25. HOARE, C. 1978. Communicating sequential processes. Commun. ACM 21, 8, 666-677.
26. KAHN, G. AND MACQUEEN, D. 1977. Coroutines and net works of parallel processes. In Information Processing 77: Proceedings of the IFIP Congress. North-Holland, Amsterdam, 993-998.
27. KELLY, P. 1989. Functional Programming for Loosely-Coupled Multiprocessors. MIT Press, Cambridge, Mass.
28. KESSELMAN, C. 1991. Integrating performance analysis with performance improvement in parallel programs. Ph.D. thesis, UCLA, Los Angeles, Calif.
29. KOELBEL, C., LOVEMAN, D., SCHREIBER, R., STEELE, G., AND ZOSEL, M. 1994. The High Performance Fortran Handbook. MIT Press, Cambridge, Mass.
30. KOWALSKI, R. 1979. Logic for Problem Solving. North-Holland, Amsterdam.
31. LUCCO, S. AND SHARP, O. 1991. Parallel programming with coordination structures. In Proceedings of the 18th Annual ACM Symposium on the Principles of Programming Languages. ACM, New York.
32. LUSK, E., DISZ, T., OLSON, R., OVERBEEK, R., STEVENS, R., WARREN, D., CALDERWOOD, A., SZEREDI, P., HARIDI, S., BRAND, P., CARLSSOM, M., CIEPIELEWSKI, A., AND HAUSMANN, B. 1988. The Aurora or-parallel Prolog system. In Proceedings of the Fifth Generation Computer Systems Conference. ICOT, Tokyo, 819-830.
33. MCLENNAN, B. 1990. Functional Programming: Practice and Theory. Addison-Wesley, Reading, Mass.
34. MIEROWSKY, C., TAYLOR, S., SHAPIRO, E., LEVY, J., AND SAPRA, S. 1985. Design and implementation of Flat Concurrent Prolog. Tech. Rep. CS85-09, Weizmann Inst. of Science, Rehovot, Israel.
35. RINARD, M., SCALES, D., AND LAM, M. 1993. Jade: A high-level machine-independent language for parallel programming. Computer 26, 6, 28-38.
36. RINGWOOD, G. 1988. PARLOG86 and the dining logicians. Commun. ACM 31, 10-25.
37. SHAPIRO, E. 1987. Concurrent Prolog: Collected Papers. MIT Press, Cambridge, Mass.
38. SUNDERAM, V. 1990. PVM: A framework for parallel distributed computing. Concurr. Pract. Exper. 2, 4, 315-339.
39. TAYLOR, S. 1989. Parallel Logic Programming Techniques. Prentice-Hall, Englewood Cliffs, N.J.
40. XU, M. AND TURNER, S. 1990. A multi-level tune warp mechanism. In Proceedings of the 1990 Summer Computer Simulation Conference. Society for Computer Simulation, San Diego, Calif., 165-170.