The ProSet-Linda approach to prototyping parallel systems

Journal of Systems and Software

Volumn 43, Issue 3, 1998, Pages 187-196

  Hasselbring, Wilhelm ^a  

^a TILBURG UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; FAULT TOLERANT COMPUTER SYSTEMS; HIGH LEVEL LANGUAGES; PARALLEL ALGORITHMS; PARALLEL PROCESSING SYSTEMS; SOFTWARE ENGINEERING;

PROSET-LINDA; PROTOTYPING PARALLEL SYSTEMS; SEQUENTIAL PROGRAMMING;

SOFTWARE PROTOTYPING;

EID: 0032205281     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(98)10032-8     Document Type: Article

References (22)

1. Carriero, N., Gelernter, D., 1990. How to write parallel programs. MIT Press, Cambridge, MA.
2. Carriero, N., Gelernter, D., 1992. Coordination languages and their significance. Communications of the ACM 35, 96-107.
3. Chandy, K., Kesselman, C., 1993. CC++: A declarative concurrent object-oriented programming notation. In: Agha, G., Wegner, P., Yonezawa, A. (Eds.), Research Directions in Concurrent Object-Oriented Programming. MIT Press, Cambridge, MA, pp. 281-313.
4. Chen, M., Choo, Y., Li, J., 1991. Crystal: Theory and pragmatics of generating efficient parallel code. In: Szymanski, B. (Ed.), Parallel Functional Languages and Compilers. ACM, New York, pp. 255-308.
5. Dijkstra, E., 1971. Hierarchical ordering of sequential processes. Acta Informatica 1, 115-138.
6. Doberkat, E.-E., Franke, W., Gutenbeil, U., Hasselbring, W., Lammers, U., Pahl, C., 1992. ProSet - A language for prototyping with sets. In: Kanopoulos, N. (Ed.), Proceedings of the Third International Workshop on Rapid System Prototyping. IEEE Computer Society Press, Piscataway, NJ, pp. 235-248.
7. Doberkat, E.-E., Hasselbring, W., Pahl, C., 1996. Investigating strategies for cooperative planning of independent agents through prototype evaluation. In: Ciancarini, P., Hankin, C. (Eds.), Proceedings of the First International Conference on Coordination Languages and Models (COORDINATION '96), volume 1061 of Lecture Notes in Computer Science, Springer, Berlin, pp. 416-419.
8. Gelernter, D., 1985. Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7, 80-112.
9. Ghezzi, C., Jazayeri, M., Mandrioli, D., 1991. Fundamentals of Software Engineering, Prentice-Hall, Englewood Cliffs, NJ.
10. Goldberg, A., Mills, P., Nyland, L., Prins, J., Reif, J., Riely, J., 1994. Specification and development of parallel algorithms with the Proteus system. In: Blelloch, G., Chandy, K., Jagannathan, S. (Eds.), DIMACS: Specification of Parallel Algorithms. American Mathematical Society, Providence, RJ.
11. Halstead, R., 1985. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems 7, 501-538.
12. Hasselbring, W., 1994a. Animation of Object-Z specifications with a set-oriented prototyping language. In: Bowen, J., Hall, J. (Eds.), Z User Workshop, Proceedings of the Eighth Z User Meeting, Workshops in Computing, Springer, London, pp. 337-356.
13. Hasselbring, W., 1994b. Prototyping parallel algorithms in a set-oriented language, Ph.D. Thesis. Department of Computer Science, University of Dortmund, Published by Verlag Dr. Kovac, Hamburg, 1994.
14. Hasselbring, W., Fisher, R., 1995. Using the ProSet-Linda prototyping language for investigating MIMD Algorithms for model matching in 3-D computer vision. In: Ferreira, A., Rolim, J. (Eds.), Parallel Algorithms for Irregularly Structured Problems, Volume 980 of Lecture Notes in Computer Science, Springer, Berlin, pp. 301-315.
15. Hasselbring, W., Kröber, A., 1998. Combining OMT with a prototyping approach. Journal of Systems and Software.
16. Huntbach, M., Ringwood, G., 1995. Programming in concurrent logic languages. IEEE Software 12, 71-82.
17. Kruchten, P., Schonberg, E., Schwartz, J., 1984. Software prototyping using the SETL programming language. IEEE Software 1, 66-75.
18. Lawler, E., Wood, D., 1966. Branch-and-bound methods: A survey. Operations Research 14, 699-719.
19. Luckham, D., Vera, J., Bryan, D., Augustin, L., Beiz, F., 1993. Partial orderings of event sets and their application to prototyping concurrent timed systems. Journal of Systems and Software 21, 253-265.
20. Powell, M., Kleinman, S., Barton, S., Shah, D., Stein, D., Weeks, M., 1991. SunOS Multi-thread Architecture. In: Proceedings of the USENIX Winter '91 Technical Conference.
21. Sun Microsystems, 1990. Programming Utilities and Libraries, System Manuals.
22. Waltenberg, K., 1996. Design and implementation of a distributed runtime system for ProSet-Linda (in German), Master's thesis. Department of Computer Science, University of Dortmund.