Programming languages and systems for prototyping concurrent applications

ACM Computing Surveys

Volumn 32, Issue 1, 2000, Pages 43-79

  Hasselbring, Wilhelm ^a  

^a TILBURG UNIVERSITY   (Netherlands)

Author keywords

Concurrency; Distribution; Parallelism; Rapid prototyping; Very high level languages

Indexed keywords

EID: 0346255225     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/349194.349199     Document Type: Article

References (129)

1. AGHA, G. 1986. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press Series in Artificial Intelligence. MIT Press, Cambridge, MA.
2. AGHA, G. 1990. Concurrent object-oriented programming. Commun. ACM 33, 9 (Sept. 1990), 125-141.
3. AGHA, G. A. 1996. Linguistic paradigms for programming complex distributed systems. ACM Comput. Surv. 28, 2, 295-296.
4. AGHA, G., WEGNER, P., AND YONEZAWA, A., Eds. 1993. Research Directions in Concurrent Object- Oriented Programming. MIT Press, Cambridge, MA.
5. AKARSU, E., FOX, G., AND HAUPT, T. 1998. DARP: Java-based data analysis and rapid prototyping environment for distributed high performance computations. In Proceedings of the ACM Workshop on Java for High-Performance Network Computing (Palo Alto, CA, Feb./Mar.), ACM Press, New York, NY.
6. ANDREWS, G. R. 1991. Concurrent Programming: Principles and Practice. Benjamin- Cummings Publ. Co., Inc., Redwood City, CA.
7. BACON, D. F., GRAHAM, S. L., AND SHARP, O. J. 1994. Compiler transformations for highperformance computing. ACM Comput. Surv. 26, 4 (Dec. 1994), 345-420.
8. BAL, H. E. 1990. Programming Distributed Systems. Silicon Press, Summit, NJ.
9. BAL, H. E., STEINER, J. G., AND TANENBAUM, A. S. 1989. Programming languages for distributed computing systems. ACM Comput. Surv. 21, 3 (Sep. 1989), 261-322.
10. BALDASSARI, M., BRUNO, G., AND CASTELLA, A. 1991. PROTOB: An object-oriented CASE Tool for modelling and prototyping distributed systems. Softw. Pract. Exper. 21, 8 (Aug. 1991), 823-844.
11. BANERJEE, U., EIGENMANN, R., NICOLAU, A., AND PADUA, D. A. 1993. Automatic program parallelization. Proc. IEEE 81, 2 (Feb.), 211-243.
12. BARBACCI, M. AND LICHOTA, R. 1991. Durra: An integrated approach to software specification, modeling, and rapid prototyping. In Proceedings of the Second International Workshop on Rapid System Prototyping (Research Triangle Park, NC, June), N. Kanopoulos, Ed. IEEE Computer Society Press, Los Alamitos, CA, 67-81.
13. BARRY, B. M. 1989. Prototyping a real-time embedded system in Smalltalk. SIGPLAN Not. 24, 10 (Oct. 1989), 255-265.
14. BERZINS, V., LUQI, AND YEHUDAI, A. 1993. Using transformations in specification-based prototyping. IEEE Trans. Softw. Eng. 19, 436-452.
15. BISCHOFBERGER, W. AND POMBERGER, G. 1992. Prototyping Oriented Software Development Concepts and Tools. Springer-Verlag, Berlin, Germany.
16. BLELLOCH, G. E. 1996. Programming parallel algorithms. Commun. ACM 39, 3, 85-97.
17. BLELLOCH, G. E., HARDWICK, J. C., SIPELSTEIN, J., ZAGHA, M., AND CHATTERJEE, S. 1994. Implementation of a portable nested dataparallel language. J. Parallel Distrib. Comput. 21, 1 (Apr. 1994), 4-14.
18. BREANT, F. 1991. Rapid prototyping from Petri- Net on a loosely coupled parallel architecture. In Proceedings of the International Conference on Applications of Transputers (Glasgow, UK), T. S. Durrani, W. A. Sandham, J. J. Soraghan, and J. Hulskamp, Eds. IOS Press, Amsterdam, The Netherlands, 644-649.
19. BRUNO, G AND MARCHETTO, G 1986. Processtranslatable Petri Nets for the rapid prototyping of process control systems. IEEE Trans. Softw. Eng. SE-12, 2 (Feb. 1986), 346-357.
20. BUCCI, G., MATTOLINI, R., AND VICARIO, E. 1995. Automated transition from rapid prototyping to target code for distributed systems. In Proceedings of the 2nd International Symposium on on Autonomous Decentralized Systems (ISADS'95, Phoenix, AZ, June 1995), IEEE Computer Society Press, Los Alamitos, CA, 104-111.
21. BUCCI, G. AND VICARIO, E. 1992. Rapid prototyping through communicating Petri nets. In Proceedings of the Third Interntional Workshop on Rapid System Prototyping (Research Triangle Park, NC, June), N. Kanopoulos, Ed. IEEE Computer Society Press, Los Alamitos, CA, 58-75.
22. BUCHS, D., FLUMET, J., AND RACLOZ, P. 1992. Producing prototypes from CO-OPN specifications. In Proceedings of the Third Interntional Workshop on Rapid System Prototyping (Research Triangle Park, NC, June), N. Kanopoulos, Ed. IEEE Computer Society Press, Los Alamitos, CA, 77-93.
23. BUDDE, R., KAUTZ, K., KUHLENKAMP, K., AND ZÜLLIGHOVEN, H. 1992. Prototyping: An Approach to Evolutionary System Development. Springer-Verlag, New York, NY.
24. BUDDE, R., KUHLENKAMP, K., MATHIASSEN, L., AND ZÜLLIGHOVEN, H., Eds. 1984. Approaches to Prototyping. Springer-Verlag, New York, NY.
25. CALLSEN, C. J. AND AGHA, G. 1994. Open heterogeneous computing in ActorSpace. J. Parallel Distrib. Comput. 21, 3 (June 1994), 289-300.
26. CALVEZ, J., PASQUIER, O., AND HERAULT, V. 1994. A complete toolset for prototyping and validating multi-transputer real-time applications. In Proceedings of the Conference on TRANSPUTERS' 94: Advanced Research and Industrial Applications (Royale d'Arc et Senans, France, Sept.), M. Becker, L. Litzler, and M. Tréhel, Eds. IOS Press, Amsterdam, The Netherlands, 71-86.
27. CAO, J., DE VEL, O., AND WONG, K. 1993. Supporting a rapid prototyping system for distributed algorithms on a transputer network. In Transputer and Occam Research: New Directions, J. Kerridge, Ed. IOS Press, Amsterdam, The Netherlands, 115-130.
28. CARD, D. 1995. Introduction to the special issue on rapid application development. IEEE Software 12, 5, 19-21.
29. CHANDY, K. M. AND KESSELMAN, C. 1993. CC1: a declarative concurrent object-oriented programming notation. In Research Directions in Concurrent Object-Oriented Programming, G. Agha, P. Wegner, and A. Yonezawa, Eds. MIT Press, Cambridge, MA, 281-313.
30. CHANDY, K. M. AND TAYLOR, S. 1992. An Introduction to Parallel Programming. Jones and Bartlett Publ., Inc., Sudbury, MA.
31. CHEN, M., CHOO, Y.-I., AND LI, J. 1991. Crystal: theory and pragmatics of generating efficient parallel code. In Parallel Functional Languages and Compilers, B. K. Szymanski, Ed. ACM Press Frontier Series. ACM Press, New York, NY, 255-308.
32. CIANCARINI, P. 1992. Parallel programming with logic languages: a survey. Comput. Lang. 17, 4 (Apr.), 213-240.
33. CIANCARINI, P. 1996. Coordination models and languages as software integrators. ACM Comput. Surv. 28, 2, 300-302.
34. CLOCKSIN, W. F. AND MELLISH, C. S. 1987. Programming in Prolog. 3rd ed. Springer- Verlag, New York, NY.
35. COLE, M. 1991. Algorithmic Skeletons: Structured Management of Parallel Computation. MIT Press, Cambridge, MA.
36. CONNELL, J. AND SHAFER, L. I. 1995. Object-Oriented Rapid Prototyping. Yourdon Press Computing Series. Yourdon Press, Upper Saddle River, NJ.
37. DE KERGOMMEAUX, J. C. AND CODOGNET, P. 1994. Parallel logic programming systems. ACM Comput. Surv. 26, 3 (Sept. 1994), 295-336.
38. DELAITRE, T., RIBEIRO-JUSTO, G. R., SPIES, F., AND WINTER, S. C. 1997. A graphical toolset for simulation modelling of parallel systems. Parallel Comput. 22, 13, 1823-1836.
39. DEMARCO, T. 1978. Structured Analysis and System Specification. Yourdon Press, Upper Saddle River, NJ.
40. DENG, Y., CHANG, S., DE FIGUEIRED, J., AND PERKUSICH, A. 1993. Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems. In Proceedings of the 14th International Conference on Application and Theory of Petri Nets (Chicago, IL, June), M. Marsan, Ed. Springer-Verlag, New York, 206-223.
41. DOBERKAT, E.-E., FRANKE, W., GUTENBEIL, U., HASSELBRING, W., LAMMERS, U., AND PAHL, C. 1992. ProSet; A language for prototyping with sets. In Proceedings of the Third Interntional Workshop on Rapid System Prototyping (Research Triangle Park, NC, June), N. Kanopoulos, Ed. IEEE Computer Society Press, Los Alamitos, CA, 235-248.
42. DONATELLI, S., FRANCESCHINIS, G., RIBAUDO, M., AND RUSSO, S. 1994. Use of GSPNs for concurrent software validation in EPOCA. Inf. Softw. Technol. 36, 7 (July), 443-448.
43. DONGARRA, J. J., OTTO, S. W., SNIR, M., AND WALKER, D. 1996. A message passing standard for MPP and workstations. Commun. ACM 39, 7, 84-90.
44. DOUGLAS, A., ROWSTRON, A., AND WOOD, A. 1995. ISETL-Linda: parallel programming with bags. Tech. Rep. YCS 257. Department of Computer Science, University of York, York, UK.
45. DUBINSKY, E. AND LERON, U. 1993. Learning Abstract Algebra with ISETL. Springer-Verlag, Vienna, Austria.
46. FLOYD, C. 1984. A systematic look at prototyping. In Approaches to Prototyping, R. Budde, K. Kuhlenkamp, L. Mathiassen, and H. Züllighoven, Eds. Springer-Verlag, New York, NY, 1-18.
47. FOSTER, I. AND TAYLOR, S. 1990. Strand: New Concepts In Parallel Programming. Prentice- Hall, Inc., Upper Saddle River, NJ.
48. FRENCH, J. AND VILES, C. 1992. A software toolkit for prototyping distributed applications. Tech. Rep. CS-92-26. Department of Computer Science, University of Virginia, Charlottesville, VA.
49. FUGGETTA, A., GHEZZI, C., MANDRIOLI, D., AND MORZENTI, A. 1993. Executable specifications with data-flow diagrams. Softw. Pract. Exper. 23, 6 (June 1993), 629-653.
50. GELERNTER, D. 1985. Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7, 1 (Jan. 1985), 80-112.
51. GELERNTER, D. AND CARRIERO, N. 1992. Coordination languages and their significance. Commun. ACM 35, 2 (Feb. 1992), 97-107.
52. GHEZZI, C., JAZAYERI, M., AND MANDRIOLI, D. 1991. Fundamentals of Software Engineering. Prentice-Hall, Inc., Upper Saddle River, NJ.
53. GOLDBERG, A., MILLS, P., NYLAND, L., PRINS, J., REIF, J., AND RIELY, J. 1994. Specification and development of parallel algorithms with the Proteus system. In DIMACS: Specification of Parallel Algorithms, G. Blelloch, K. Chandy, and S. Jagannathan, Eds. AMS, Providence, RI.
54. GORDON, V. AND BIEMAN, L. 1995. Rapid prototyping: Lessons learned. IEEE Software 12, 1 (Jan.), 85-95.
55. GORTON, I., GRAY, J., AND JELLY, I. 1995. Object based modelling of parallel programs. IEEE Parallel Distrib. Technol. 3, 2, 52-63.
56. HALSTEAD, R. H. 1985. MULTILISP: a language for concurrent symbolic computation. ACM Trans. Program. Lang. Syst. 7, 4 (Oct. 1985), 501-538.
57. HAREL, D. 1987. Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8, 3 (June 1, 1987), 231-274.
58. HASSELBRING, W. 1998. The ProSet-Linda approach to prototyping parallel systems. J. Syst. Softw. 43, 3, 187-196.
59. HASSELBRING, W., JODELEIT, P., AND KIRSCH, M. 1997. Implementing parallel algorithms based on prototype evaluation and transformation. Software-Technik Memo Nr. 93. Department of Computer Science, University of Dortmund, Dortmund, Germany.
60. HEATH, M. T. AND FINGER, J. E. 1991. Visualizing the performance of parallel programs. IEEE Software 8, 5 (Sept.), 29-39.
61. HEPING, H. AND ZEDAN, H. 1996. An executable specification language for fast prototyping parallel responsive systems. Comput. Lang. 22, 1, 1-13.
62. HEPING, H. AND ZEDAN, H. 1996. A fast prototype tool for parallel reactive systems. J. Syst. Archit. 42, 4, 251-266.
63. HILLIS, W. D. AND STEELE, G. L. 1986. Data parallel algorithms. Commun. ACM 29, 12 (Dec. 1986), 1170-1183.
64. HOUCK, C. AND AGHA, G. 1992. HAL: A highlevel actor language and its distributed implementation. In Proceedings of the 21st International Conference on Parallel Processing ((ICPP 91), Volume II, St. Charles, IL, Aug.), 158-165.
65. HU, L. AND GORTON, I. 1997. A performance prototyping approach to designing concurrent software architectures. In Proceedings of the Second International Workshop on Software Engineering for Parallel and Distributed Systems (PDSE'97, Boston, MA, May), IEEE Computer Society Press, Los Alamitos, CA, 270-276.
66. HUANG, Y.-M. AND RAVISHANKAR, C. 1996. URPC: A toolkit for prototyping remote procedure calls. Comput. J. 39, 6, 525-540.
67. HUBER, F., MOLTERER, S., RAUSCH, A., SCHÄTZ, B., SIHLING, M., AND SLOTOSCH, O. 1998. Tool supported specification and simulation of distributed systems. In Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'98, Kyoto, Japan, Apr.), B. Krämer, N. Uchihira, P. Croll, and S. Russo, Eds. IEEE Computer Society Press, Los Alamitos, CA, 155-164.
68. HUBER, F. AND SCHÄTZ, B. 1997. Rapid prototyping with AutoFocus. In Formale Beschreibungstechniken für verteilte Systeme (GI/ITG Fachgesprä. In English, St. Augustin, Germany), A. Wolisz, I. Schieferdecker, and A. Rennoch, Eds. 343-352.
69. HUMMEL, S. F. AND KELLY, R. 1993. A rationale for parallel programming with sets. J. Program. Lang. 1, 3, 187-207.
70. HUMMEL, S. F., TALLA, S., AND BRENNAN, J. 1995. The refinement of high-level parallel algorithm specifications. In Proceedings of the Working Conference on Programming Models for Massively Parallel Computers (PMMP '95, Berlin, Oct.), IEEE Computer Society Press, Los Alamitos, CA.
71. IONA TECHNOLOGIES PLC. 1997. White Paper: OrbixTalk. IONA Technologies PLC, Dublin, Ireland.
72. ISENSEE, S., RUDD, J., AND HECK, M. 1995. The Art of Rapid Prototyping: User Interface Design for Windows and OS/2. International Thomson Computer Press, Boston, MA.
73. JARD, C., MONIN, J.-F., AND GROZ, R. 1988. Development of Veda, a prototyping tool for distributed algorithms. IEEE Trans. Softw. Eng. 14, 3 (Mar.), 339-352.
74. JELLY, I. AND GRAY, J. 1992. Prototyping parallel systems: A performance evaluation approach. In Proceedings of the International Conference on Parallel and Distributed Computing and Systems (Pittsburgh, PA, Oct.), ISSM Press, 7-12.
75. JONES, D., DOWDESWELL, S., AND HINTZ, T. 1990. A rapid prototyping method for parallel programs. In Proceedings of the Conference on The Transputer in Australia (ATOUG-3, Syd-ney, Australia, June), T. Bossomaier, T. Hintz, and J. Hulskamp, Eds. IOS Press, Amsterdam, The Netherlands, 121-128.
76. JOZWIAK, J. 1993. Exploiting parallelism in SETL programs. Master's thesis. University of Illinois at Urbana-Champaign, Champaign, IL.
77. KRAMER, B. 1991. Prototyping and formal analysis of concurrent and distributed systems. In Proceedings of the Sixth International Workshop on Software Specification and Design, IEEE Computer Society Press, Los Alamitos, CA, 60-66.
78. KRUCHTEN, P., SCHONBERG, E., AND SCHWARTZ, J. 1984. Software prototyping using the SETL programming language. IEEE Software 1, 4 (Oct.), 66-75.
79. LEVY, A. M., KATWIJK, J. V., PAVLIDIS, G., AND TOLSMA, F. 1990. SEPDS: A support environment for prototyping distributed systems. In Proceedings of the First International Conference on Systems Integration (ISCI '90, Morristown, NJ, Apr. 23-26), L. Seifert, R. T. Yeh, P. Ng, and C. Ramamoorthy, Eds. IEEE Press, Piscataway, NJ, 652-661.
80. LICHTER, H., SCHNEIDER-HUFSCHMIDT, M., AND ZÜLLIGHOVEN, H. 1994. Prototyping in industrial software projects: Bridging the gap between theory and practice. IEEE Trans. Softw. Eng. 20, 11 (Nov. 1994), 825-832.
81. LOBE, G., SZAFRON, D., AND SCHAEFFER, J. 1993. Program design and animation in the Enterprise parallel programming environment. Tech. Rep. 93-04. University of Alberta, Edmonton, Canada.
82. LUCKHAM, D. C., VERA, J., BRYAN, D., AUGUSTIN, L., AND BELZ, F. 1993. Partial orderings of event sets and their application to prototyping concurrent, timed systems. J. Syst. Softw. 21, 3 (June 1993), 253-265.
83. LUQI, BERZINS, V., AND YEH, R. T. 1988. A prototyping language for real-time software. IEEE Trans. Softw. Eng. 14, 10 (Oct. 1988), 1409-1423.
84. MARTIN, J. 1991. Rapid Application Development. Macmillan Publishing Co., Inc., Indianapolis, IN.
85. MATSUOKA, S. AND YONEZAWA, A. 1993. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In Research Directions in Concurrent Object-Oriented Programming, G. Agha, P. Wegner, and A. Yonezawa, Eds. MIT Press, Cambridge, MA, 107-150.
86. MEYER, B. 1993. Systematic concurrent objectoriented programming. Commun. ACM 36, 9 (Sept. 1993), 56-80.
87. MEYER, B. 1997. Object-Oriented Software Construction. 2nd ed. Prentice-Hall, Inc., Upper Saddle River, NJ.
88. MICHAELSON, G. AND SCAIFE, N. 1995. Prototyping a parallel vision system in Standard ML. J. Funct. Programm. 5, 3 (July), 345-382.
89. MILLS, P., NYLAND, L., PRINS, J., REIF, J., AND WAGNER, R. 1991. Prototyping parallel and distributed programs in Proteus. In Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing (Dallas, TX, Dec.), 26-34.
90. MITCHELL, S. AND WELLINGS, A. 1996. Synchronisation, concurrent object-oriented programming and the inheritance anomaly. Comput. Lang. 22, 1, 15-26.
91. MOWBRAY, T. J. AND ZAHAVI, R. 1995. The Essential CORBA: Systems Integration Using Distributed Objects. John Wiley and Sons, Inc., New York, NY.
92. NIXON, P., BIRKINSHAW, C., CROLL, P., AND MARRIOT, D. 1994. Rapid prototyping of parallel fault tolerant systems. In Proceedings of the Euromicro Workshop on Parallel and Distributed Systems (Malaga, Spain), IEEE Computer Society Press, Los Alamitos, CA, 202-210.
93. NIXON, P. AND CROLL, P. 1993. The functional specification of Occam programs for time critical applications. In Transputer and Occam Research: New Directions, J. Kerridge, Ed. IOS Press, Amsterdam, The Netherlands, 131-145.
94. NYLAND, L., PRINS, J., GOLDBERG, A., MILLS, P., REIF, J., AND WAGNER, R. 1996. A refinement methodology for developing data-parallel applications. In Proceedings of the Conference on EuroPar'96 Parallel Processing (Lyon, France, Aug.), Springer-Verlag, New York, 145-150.
95. OUSTERHOUT, J. 1998. Scripting: Higher-level programming for the 21st century. IEEE Computer 31, 3, 23-30.
96. PANCAKE, C., SIMMONS, M., AND YAN, J. 1995. Performance evaluation tools for parallel and distributed systems. IEEE Computer 28, 11 (Nov.), 16-19.
97. PARTSCH, H. A. 1990. Specification and Transformation of Programs: A Formal Approach to Software Development. Springer Texts and Monographs in Computer Science. Springer- Verlag, New York, NY.
98. POMBERGER, G. AND BLASCHEK, G. 1996. Object- Orientation and Prototyping in Software Engineering. Prentice-Hall Object-Oriented Series. Prentice-Hall, Inc., Upper Saddle River, NJ.
99. PRINS, J. F. AND PALMER, D. W. 1993. Transforming high-level data-parallel programs into vector operations. SIGPLAN Not. 28, 7 (July 1993), 119-128.
100. PURTILO, J. M. AND JALOTE, P. 1991. An environment for prototyping distributed applications. Comput. Lang. 16, 3/4 (1991), 197-207.
101. PURTILO, J. M., REED, D. A., AND GRUNWALD, D. C. 1988. Environments for prototyping parallel algorithms. J. Parallel Distrib. Comput. 5, 4 (Aug. 1988), 421-437.
102. QUINN, M. AND HATCHER, P. 1990. Data-parallel programming on multicomputers. IEEE Software 7, 5 (Sept.), 69-76.
103. RAJU, S. C. V. AND SHAW, A. C. 1994. A prototyping environment for specifying, executing and checking Communicating Real-Time State machines. Softw. Pract. Exper. 24, 2 (Feb. 1994), 175-195.
104. REISIG, W. 1985. Petri Nets: An Introduction. EATCS monographs on theoretical computer science. Springer-Verlag, New York, NY.
105. SCHAEFFER, J. AND SZAFRON, D. 1996. Software engineering considerations in the construction of parallel programs. In High Performance Computing: Technology and Applications, J. Dongarra, L. Grandinetti, G. Joubert, and J. Kowalik, Eds. Elsevier Science Inc., New York, NY.
106. SCHAEFFER, J., SZAFRON, D., LOBE, G., AND PARSONS, I. 1993. The Enterprise model for developing distributed applications. IEEE Parallel Distrib. Technol. 1, 3 (Aug.), 85-96.
107. SHAPIRO, E. 1989. The family of concurrent logic programming languages. ACM Comput. Surv. 21, 3 (Sep. 1989), 413-510.
108. SMITH, D. R. 1990. KIDS: a semiautomatic program development system. IEEE Trans. Softw. Eng. 16, 9 (Sep. 1990), 1024-1043.
109. SON, S. H. AND KIM, Y. 1989. A software prototyping environment and its use in developing a multiversion distributed database system. In Proceedings of the International Conference on Parallel Processing (ICPP '89, Aug.), Pennsylvania State University, University Park, PA.
110. STYTZ, M., ADAMS, T., GARCIA, B., SHEASBY, S., AND ZURITA, B. 1997. Rapid prototyping for distributed virtual environments. IEEE Software 14, 5 (Sept.), 83-92.
111. SUAREZ, F., GARCIA, J., ENTRIALGO, J., GARCIA, D., GRAFFA, S., AND DE MIGUEL, P. 1998. A toolset for visualization and behavioral analysis of parallel real-time embedded systems based on fast prototyping techniques. In Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing (PDP'98, Madrid, Jan.), IEEE Computer Society Press, Los Alamitos, CA.
112. SZAFRON, D. AND SCHAEFFER, J. 1996. An experiment to measure the usability of parallel programming systems. Concurrency: Pract. Exper. 8, 2, 147-166.
113. SZYMANSKI, B. K., Ed. 1991. Parallel Functional Languages and Compilers. ACM Press Frontier Series. ACM Press, New York, NY.
114. TALIA, D. 1997. Parallel computation still not ready for the mainstream. Commun. ACM 40, 7, 98-99.
115. ULLMAN, J. D. 1994. Elements of ML Programming. Prentice-Hall, Inc., Upper Saddle River, NJ.
116. UNGER, B. 1988. Distributed software via prototyping and simulation: JADE. Tech. Rep. 88/300/12. University of Calgary, Calgary, Canada.
117. VALENZANO, A., SISTO, R., AND CIMINIERA, L. 1993. Rapid prototyping of protocols from LOTOS specifications. Softw. Pract. Exper. 23, 1 (Jan. 1993), 31-54.
118. VOGEL, A. AND DUDDY, K. 1998. Java Programming with CORBA. 2nd. ed. John Wiley and Sons, Inc., New York, NY.
119. WALLACE, A. M., MICHAELSON, G. J., MCANDREW, P., WAUGH, K. G., AND AUSTIN, W. J. 1992. Dynamic control and prototyping of parallel algorithms for intermediate- and high-level vision. IEEE Computer 25, 2 (Feb. 1992), 43-53.
120. WEINREICH, R. AND PLOESCH, R. 1995. Prototyping of parallel and distributed object oriented systems: The PDC model and its environment. In Proceedings of the Hawaii International Conference on System Sciences (HICSS '95, Maui, Hawaii, Jan.), IEEE Computer Society Press, Los Alamitos, CA.
121. WYATT, B., KAVI, K., AND HUFNAGEL, S. 1992. Parallelism in object-oriented languages: A survey. IEEE Software 9, 6 (Nov.), 56-66.
122. YONEZAWA, A., Ed. 1990. ABCL: An Object-Oriented Concurrent System. Computer systems series. MIT Press, Cambridge, MA.
123. ZAVE, P. AND SCHELL, W. 1986. Salient features of and executable specification language and its environment. IEEE Trans. Softw. Eng. SE-12, 2 (Feb. 1986), 312-325.
124. ZEDAN, H. S. M., Ed. 1990. Proceedings of the 13th Occam User Group Technical Meeting on Real-Time Systems with Transputers. (OUG- 13, York, UK, Sept. 18-20, 1990). IOS Press, Amsterdam, The Netherlands.
125. ZHOU, W. 1994. A rapid prototyping system for distributed information system applications. J. Syst. Softw. 24, 1 (Jan. 1994), 3-29.
126. 1996. Proceedings of the First International Workshop on Software Engineering for Parallel and Distributed Systems. (PDSE'96, Berlin, Mar.). IEEE Computer Society Press, Los Alamitos, CA.
127. 1997. Proceedings of the Second International Workshop on Software Engineering for Parallel and Distributed Systems. (PDSE'97, Boston, MA, May). IEEE Computer Society Press, Los Alamitos, CA.
128. 1998. Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems. (PDSE'98, Kyoto, Japan, Apr.). IEEE Computer Society Press, Los Alamitos, CA.
129. 1999. Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems. (PDSE'99, Los Angeles, CA, May). IEEE Computer Society Press, Los Alamitos, CA.