Programming languages for distributed applications

New Generation Computing

Volumn 16, Issue 3, 1998, Pages 223-261

  Haridi, Seif ^a   Van Roy, Peter ^b   Brand, Per ^a   Schulte, Christian ^c  

^a SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

^b UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

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

Author keywords

Distributed Algorithms; Fault Tolerance; Mobile Objects; Network Transparency; Oz

Indexed keywords

COMPUTER SIMULATION; CONSTRAINT THEORY; DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SECURITY OF DATA;

CONCURRENT CONSTRAINT PROGRAMMING; CONCURRENT LOGIC PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0031630269     PISSN: 02883635     EISSN: None     Source Type: Journal    
DOI: 10.1007/bf03037481     Document Type: Article

References (55)

1. Abelson, H., Sussman, G. J., and Sussman, J., Structure and Interpretation of Computer Programs, MIT Press, Cambridge, Mass., 1985.
2. Amoroso, E. G., Fundamentals of Computer Security Technology, Prentice-Hall, 1994.
3. Andrews, J., "The Logical Semantics of the Prolog Cut," in International Logic Programming Symposium (ILPS 95), December 1995.
4. Armstrong, J., Williams, M., Wikström, C., and Virding, R., Concurrent Programming in Erlang, Prentice-Hall, Englewood Cliffs, N.J., 1996.
5. Axling, T., Haridi, S., and Fahlen, L., "Concurrent Constraint Programming Virtual Reality Applications," in the 2nd International Conference on Military Applications of Synthetic Environments and Virtual Reality (MASEVR 95), Stockholm, Sweden, 1995. Defence Material Administration.
6. Brand, P., Franzen, N., Klintskog, E., and Haridi, S., "A Platform for Constructing Virtual Spaces," in Virtual Worlds and Simulation Conference (VWSIM '98), January 1998.
7. Cardelli, L., "A Language with Distributed Scope," ACM Transactions on Computer Systems, 8, 1, pp. 27-59, January 1995. Also appeared in POPL 95.
8. Cardelli, L., "A Language with Distributed Scope," ACM Transactions on Computer Systems, 8, 1, pp. 27-59, January 1995. Also appeared in POPL 95.
9. Chow, R. and Johnson, T., Distributed Operating Systems and Algorithms, Addison-Wesley, San Francisco, Calif., 1997.
10. Crowcroft, J., Open Distributed Systems, University College London Press, London, U. K., 1996.
11. DFKI Oz version 2.0, 1998. Available at http://www.ps.uni-sb.de.
12. Ericsson, Open Telecom Platform - User's Guide, Reference Manual, Installation Guide, OS Specific Parts, Telefonaktiebolaget LM Ericsson, Stockholm, Sweden, 1996.
13. Fluckiger, F., Understanding Networked Multimedia: Applications and Technology, Prentice-Hall, 1995.
14. Institute for New Generation Computer Technology, ed., Fifth Generation Computer Systems 1992, volume 1, 2, Ohmsha Ltd. and IOS Press, 1992. ISBN 4-274-07724-1.
15. Fujise, T., Chikayama, T., Rokusawa, K., and Nakase, A., "KLIC: A Portable Implementation of KL1," in Fifth Generation Computing Systems (FGCS '94), pp. 66-79, December 1994.
16. Gosling, J. and McGilton, H., "The Java Language Environment," white paper, Sun Microsystems, Mountain View, Calif., May 1996.
17. ~seif/oz.html, 1996.
18. Haridi, S., Van Roy, P., Brand, P., Mehl, M., Scheidhauer, R., and Smolka, G., "Using Logic Variables in Distributed Computing," submitted to ACM TOPLAS, February 1998.
19. Haridi, S., Van Roy, P., and Smolka, G., "An Overview of the Design of Distributed Oz," in Proceedings of the Second International Symposium on Parallel Symbolic Computation (PASCO '97), Maui, Hawaii, USA, ACM Press, pp. 176-187, July 1997.
20. Henz, M., Objects for Concurrent Constraint Programming, volume 426 of The Kluwer International Series in Engineering and Computer Science, Kluwer Academic Publishers, Boston, November 1997.
21. Henz, M., "Objects in Oz," Ph.D. thesis, Universität des Saarlandes, Fachbereich Informatik, Saarbrücken, Germany, June 1997.
22. Jaffar, J. and Maher, M., "Constraint Logic Programming: A Survey," J. Log. Prog., 19/20, pp. 503-581, May/July 1994.
23. Jalote, P., Fault Tolerance in Distributed Systems, PTR Prentice-Hall, 1994.
24. Janson, S. and Haridi, S., "Programming Paradigms of the Andorra Kernel Language," in International Symposium on Logic Programming, pp. 167-183, October 1991.
25. Jul, E., Levy, H., Hutchinson, N., and Black, A., "Fine-Grained Mobility in the Emerald System," ACM Transactions on Computer Systems, 6, 1, pp. 109-133, February 1988.
26. Khoshafian, S. and Buckiewicz, M., Introduction to Groupware, Workflow, and Workgroup Computing, John Wiley and Sons, 1995.
27. Knapik, M. and Johnson, J., Developing Intelligent Agents for Distributed Systems, McGraw-Hill, 1998.
28. Laprie, J. C., "Dependability: A Unifying Concept for Reliable Computing and Fault Tolerance," in 7th International Conference on Distributed Computing Systems, pp. 129-146, September 1987.
29. Lea, D., Concurrent Programming in Java, Addison-Wesley, 1997.
30. Lloyd, J., Foundations of Logic Programming, second edition, Springer-Verlag, 1987.
31. Lynch, N., Distributed Algorithms, Morgan Kaufmann, San Francisco, Calif., 1996.
32. Maher, M., "Logic Semantics for a Class of Committed-Choice Programs," in International Conference on Logic Programming (ICLP 87), pp. 858-876, May 1987.
33. Müller, M., Müller, T., and Van Roy, P., "Multiparadigm Programming in Oz," in Workshop on the Future of Logic Programming, International Logic Programming Symposium (ILPS 95), December 1995.
34. Sun Microsystems, The Java Series, Mountain View, Calif., 1996. Available at http://www.aw.com/cp/javaseries.html.
35. Sun Microsystems, The Remote Method Invocation Specification, Mountain View, Calif., 1997. Available at http://www.javasoft.com.
36. Mehl, M., Scheidhauer, R., and Schulte, C., "An Abstract Machine for Oz," in Programming Languages, Implementations, Logics, and Programming (PLILP '95), 1995.
37. Naish, L., Negation and Control in Prolog, Lecture Notes in Computer Science, vol. 238, Springer-Verlag, 1986.
38. Otte, R., Patrick, P., and Roy, M., Understanding CORBA: The Common Object Request Broker Architecture, Prentice-Hall PTR, Upper Saddle River, N.J., 1996.
39. Plainfossé, D. and Shapiro, M., "A Survey of Distributed Garbage Collection Techniques," in International Workshop on Memory Management, Lecture Notes in Computer Science, vol. 986, Berlin, Springer-Verlag, pp. 211-249, September 1995.
40. Podelski, A, and Smolka, G., "Operational Semantics of Constraint Logic Programs with Coroutining," in International Conference on Logic Programming (ICLP 95), pp. 449-463, 1995.
41. Saraswat, V. and Rinard, M., "Concurrent Constraint Programming," in POPL, pp. 232-245, January 1990.
42. Schulte, C., "Oz Explorer: A Visual Constraint Programming Tool," in Proceedings of the Fourteenth International Conference on Logic Programming (L. Naish, ed.), Leuven, Belgium, July 1997, MIT Press, pp. 286-300, 1997.
43. Schulte, C., "Programming Constraint Inference Engines," in Proceedings of the Third International Conference on Principles and Practice of Constraint Programming (G. Smolka, ed.), volume 1330 of Lecture Notes in Computer Science, Schloβ Hagenberg, Austria, October 1997, Springer-Verlag, pp. 519-533, 1997.
44. Shapiro, E., "The Family of Concurrent Logic Programming Languages," ACM Computing Surveys, 21, 3, pp. 413-510, September 1989.
45. Smolka, G., "The Oz Programming Model," in Computer Science Today, Lecture Notes in Computer Science, vol. 1000, Springer-Verlag, Berlin, pp. 324-343, 1995.
46. Smolka, G., Schulte, C., and Würtz, J., Finite Domain Constraint Programming in Oz: A Tutorial, Programming Systems Lab., German Research Center for Artificial Intelligence (DFKI), January 1998. In Oz 2 system documentation. Available at http://www. ps.uni-sb.de.
47. Smolka, G., Schulte, C., and Van Roy, P., PERDIO - Persistent and Distributed Programming in Oz, BMBF project proposal. Available at http://www.ps.uni-sb.de, February 1995.
48. Stroustrup, B., The C++ Programming Language, third edition, Addison-Wesley, 1997.
49. Tel, G., An Introduction to Distributed Algorithms, Cambridge University Press, Cambridge, United Kingdom, 1994.
50. Thorn, T., "Programming Languages for Mobile Code," ACM Computing Surveys, 29, 3, pp. 213-239, September 1997.
51. Van Roy, P., "1983-1993: The Wonder Years of Sequential Prolog Implementation," J. Log. Prog., 19/20, pp. 385-441, May/July 1994.
52. Van Roy, P., Haridi, S., Brand, P., and Smolka, G., "Three Moves Are Not as Bad as a Fire," in Workshop on Internet Programming Languages, International Conference on Computer Languages (ICCL 98), May 1998.
53. Van Roy, P., Haridi, S., Brand, P., Smolka, G., Mehl, M., and Scheidhauer, R., "Mobile Objects in Distributed Oz," ACM Transactions on Programming Languages and Systems, 19, 5, pp. 804-851, September 1997.
54. Wallach, D. S., Balfanz, D., Dean, D., and Felten, E. W., "Extensible Security Architectures for Java," in 16th Symposium on Operating System Principles, October 1997.
55. Wikström, C., "Distributed Programming in Erlang," in 1st International Symposium on Parallel Symbolic Computation (PASCO 94), Singapore, September 1994, World Scientific, pp. 412-421, 1994.