Mobile Objects in Distributed Oz

ACM Transactions on Programming Languages and Systems

Volumn 19, Issue 5, 1997, Pages 804-851

  Van Roy, Peter ^a   Haridi, Seif ^b   Brand, Per ^b   Smolka, Gert ^c   Mehl, Michael ^c   Scheidhauer, Ralf ^c  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^b SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

^c GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

D.1.3 Programming Techniques : Concurrent Programming distributed programming; D.3.2 Programming Languages : Language Classifications concurrent, distributed, and parallel languages; Data flow languages; Object oriented languages

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER NETWORKS; COMPUTER SYSTEMS PROGRAMMING; DISTRIBUTED COMPUTER SYSTEMS; FLOWCHARTING; MULTIPROCESSING PROGRAMS;

DISTRIBUTED OZ PROGRAMMING LANGUAGE; DISTRIBUTED PROGRAMMING;

OBJECT ORIENTED PROGRAMMING;

EID: 0031220218     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/265943.265972     Document Type: Article

References (46)

1. ABELSON, H., SUSSMAN, G. J., AND SUSSMAN, J. 1985. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, Mass.
2. ARMSTRONG, J., WILLIAMS, M., WIKSTRÖM, C., AND VIRDING, R. 1996. Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs, N.J.
3. AXLING, T., HARIDI, S., AND FAHLEN, L. 1995. Concurrent constraint programming virtual reality applications. In the 2nd International Conference on Military Applications of Synthetic Environments and Virtual Reality (MASEVR 95). Defence Material Administration, Stockholm, Sweden.
4. BAL, H. E., KAASHOEK, F. E., AND TANENBAUM, A. S. 1992. Orca: A language for parallel programming of distributed systems. IEEE Trans. Softw. Eng. 18, 3 (Mar.), 190-205.
5. BAL, H. E., STEINER, J. G., AND TANENBAUM, A. S. 1989. Programming languages for distributed computing systems. ACM Comput. Surv. 21, 3 (Sept.), 261-322.
6. BARTH, P. S., NIKHIL, R. S., AND ARVIND. 1991. M-structures: Extending a parallel, nonstrict, functional language with state. In Functional Programming and Computer Architecture. Springer-Verlag, Berlin.
7. BIRRELL, A. D. AND NELSON, B. J. 1984. Implementing remote procedure calls. ACM Trans. Comput. Syst. 2, 1 (Feb.), 39-59.
8. CALLAGHAN, B. 1996. WebNFS - The file system for the World-Wide Web. White paper, Sun Microsystems, Mountain View, Calif. May.
9. CARDELLI, L. 1995. A language with distributed scope. ACM Trans. Comput. Syst. 8, 1 (Jan.), 27-59. Also appeared in POPL 95.
10. CARLSSON, C. AND HAGSAND, O. 1996. DIVE - A platform for multi-user virtual environments. Comput. and Graph. 17, 6.
11. CARRIERO, N. AND GELERNTER, D. 1992. Coordination languages and their significance. Commun. ACM 35, 2 (Feb.), 96-107.
12. CARTER, J. B., BENNETT, J. K., AND ZWAENEPOEL, W. 1991. Implementation and performance of Munin. In the 13th ACM Symposium on Operating System Principles. ACM, New York, 152-164.
13. COMER, D. E. 1995. Internetworking with TCP/IP. Vol. 1, Principles, Protocols, and Architecture. Prentice-Hall, Englewood Cliffs, N.J.
14. COULOURIS, G., DOLLIMORE, J., AND KINDBERG, T. 1994. Distributed Systems Concepts and Design, 2nd ed. Addison-Wesley, Reading, Mass.
15. CROWCROFT, J. 1996. Open Distributed Systems. University College London Press, London, U.K.
16. DEERING, S. 1989. Host extensions for IP multicasting. Tech. Rep. RFC1112. Aug.
17. ERICSSON. 1996. Open Telecom Platform - User's Guide, Reference Manual, Installation Guide, OS Specific Parts. Telefonaktiebolaget LM Ericsson, Stockholm, Sweden.
18. FISCHER, K., KUHN, N., AND MÜLLER, J. P. 1994. Distributed, knowledge-based, reactive scheduling in the transportation domain. In the 10th IEEE Conference on Artificial Intelligence and Applications. IEEE, New York.
19. FISCHER, K., MULLER, J. P., AND PISCHEL, M. 1995. A model for cooperative transportation scheduling. In the 1st International Conference on Multiagent Systems (ICMAS 95). 109-116.
20. FOODY, M. 1997. Let's talk (Special report building networked applications). BYTE 22, 4 (Apr.), 99-102.
21. HALSTEAD, R. H. 1985. MultiLisp: A language for concurrent symbolic computation. ACM Trans. Program. Lang. Syst. 7, 4 (Oct.), 501-538.
22. HARIDI, S. 1996. An Oz 2.0 tutorial. Tech. rep., Swedish Inst. of Computer Science, Stockholm, Sweden. Available at http://www.sics.se/ seif/oz.html.
23. HARIDI, S., VAN ROY, P., AND SMOLKA, G. 1997. An overview of the design of Distributed Oz. In the 2nd International Symposium on Parallel Symbolic Computation (PASCO 97). ACM, New York.
24. HENZ, M. 1997. Objects in Oz. Doctoral dissertation, Univ. des Saarlandes, Saarbrücken, Germany.
25. HENZ, M., LAUER, S., AND ZIMMERMANN, D. 1996. COMPOzE - Intention-based music composition through constraint programming. In the International Conference on Tools with Artificial Intelligence. IEEE, New York.
26. HENZ, M. AND WÜRTZ, J. 1996. Using Oz for college timetabling. In the International Conference on the Practice and Theory of Automated Timetabling, E. K. Burke and P. Ross, Eds. Lecture Notes in Computer Science, vol. 1153. Springer-Verlag, Berlin, 162-177.
27. IANNUCCI, R. A. 1990. Parallel Machines: Parallel Machine Languages. The Emergence of Hybrid Dataflow Computer Architectures. Kluwer, Dordrecht, The Netherlands.
28. JANSON, S., MONTELIUS, J., AND HARIDI, S. 1993. Ports for objects in concurrent logic programs. In Research Directions in Concurrent Object-Oriented Programming. MIT Press.
29. JUL, E. 1988. Object mobility in a distributed object-oriented system. Ph.D. thesis, Univ. of Washington, Seattle, Wash.
30. JUL, E., LEVY, H., HUTCHINSON, N., AND BLACK, A. 1988. Fine-grained mobility in the Emerald system. ACM Trans. Comput. Syst. 6, 1 (Feb.), 109-133.
31. LAMPSON, B. W. 1993. Reliable messages and connection establishment. In Distributed Systems, S. Mullender, Ed. Addison-Wesley, Reading, Mass., 251-281.
32. LETH, L. AND THOMSEN, B. 1992. Some Facile chemistry. Tech. Rep. ECRC-92-14, ECRC, Munich, Germany. May.
33. LYNCH, N. 1996. Distributed Algorithms. Morgan Kaufmann, San Francisco, Calif.
34. SUN MICROSYSTEMS. 1996. The Java Series. Sun Microsystems, Mountain View, Calif. Available at http://www.aw.com/cp/javaseries.html.
35. OTTE, R., PATRICK, P., AND ROY, M. 1996. Understanding CORBA: The Common Object Request Broker Architecture. Prentice-Hall PTR, Upper Saddle River, N.J.
36. PLAINFOSSÉ, D. AND SHAPIRO, M. 1995. A survey of distributed garbage collection techniques. In the International Workshop on Memory Management. Lecture Notes in Computer Science, vol. 986. Springer-Verlag, Berlin, 211-249.
37. SCHMEIER, S. AND ACHIM, S. 1996. PASHA II - Personal assistant for scheduling appointments. In the 1st International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM 96). The Practical Application Company, Lancashire, United Kingdom.
38. SHAPIRO, E. 1989. The family of concurrent logic programming languages. ACM Comput. Surv. 21, 3 (Sept.), 413-510.
39. SMOLKA, G. 1995a. An Oz Primer. Programming Systems Lab, Univ. des Saarlandes, Saarbrücken, Germany. Available at http://www.ps.uni-sb.de.
40. SMOLKA, G. 1995b. The Oz programming model. In Computer Science Today. Lecture Notes in Computer Science, vol. 1000. Springer-Verlag, Berlin, 324-343.
41. SMOLKA, G., HENZ, M., AND WÜRTZ, J. 1995. Object-oriented concurrent constraint programming in Oz. In Principles and Practice of Constraint Programming, P. Van Hentenryck and V. Saraswat, Eds. MIT Press, Cambridge, Mass., 29-48.
42. SMOLKA, G., SCHULTE, C., AND VAN ROY, P. 1995. PERDIO - Persistent and distributed programming in Oz. BMBF project proposal. Available at http://www.ps.uni-sb.de.
43. TANENBAUM, A. S. 1995. Distributed Operating Systems. Prentice-Hall, Englewood Cliffs, N.J.
44. TEL, G. 1994. An Introduction to Distributed Algorithms. Cambridge University Press, Cambridge, United Kingdom.
45. WALSER, J. P. 1996. Feasible cellular frequency assignment using constraint programming abstractions. In the 1st Workshop on Constraint Programming Applications, CP 96.
46. WIKSTRÖM, C. 1994. Distributed programming in Erlang. In the 1st International Symposium on Parallel Symbolic Computation (PASCO 94). World Scientific, Singapore, 412-421.