An overview of the design of Distributed Oz

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An overview of the design of Distributed Oz

Full text

Pdf (1.89 MB)

Source

International Symposium on Parallel Symbolic Computation archive
Proceedings of the second international symposium on Parallel symbolic computation table of contents

Maui, Hawaii, United States

Pages: 176 - 187

Year of Publication: 1997

ISBN:0-89791-951-3

Authors

Seif Haridi	Swedish Institute of Computer Science (SICS), Sweden
Peter Van Roy	Université catholique de Louvain (UCL), Belgium
Gert Smolka	Universität des Saarlandes, Saarbrücken, Germany

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
SIGNUM: ACM Special Interest Group on Numerical Mathematics

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 7, Citation Count: 8

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/266670.266726 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Tomas Axling, Self Haridi, and Lennart Fahlen. Virtual Reality Programming in Oz. Feb. 1996.
	2	Brent Callaghan. WebNFS-The file system }or the World-Wide Web. SunSoft, Inc., May 1996. Available at http://vvv, sun. com/ solaris/notworklog/vebaf s/.
	3	Luca Cardelli. Obliq: A Language with Distributed Scope, DEC Systems Research Center, Research Report, Nov. 1994.
	4	Douglas E. Comer , David L. Stevens, Internetworking with TCP/IP: volume III: client-server programming and applications (Windows sockets version), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	5	K. Fischer and N. Kuhn and J. P. Miiller. Distributed, Knowledge-Based, Reactive Scheduling in the Transportation Domain. Proc. i0th IEEE Conf. on Artificial Intelligence and Applications, San Antonio, Texas, March 1994.
	6	K. Fischer, J. P. Muller, and M. Pischel. A Model for Cooperative Transportation Scheduling. In Proc. 1st Int. Conf. on Multiagent Systems (ICMAS '95). San Francisco, June 1995, pages 109-116.
	7	Olof Hagsand. DIVE-A Platform for Multi-User Virtual Environments. In IEEE Multimedia, Spring 1996.
	8	Self Haridi. An Oz P,.O Tutorial. Available at http://$ics, so/'soif/oz .html.
	9	Martin Henz, Martin Mfiller, and Markus Wolf. Munchkin$: A shell/or distributed multi-user games. In WOz'95, International Workshop on Oz Programming, Institut Dalle Molle d'Intelligence Artificielle Perceptive, Martigny, Switzerland, Nov. 1995. Available at http://ps-wvv, dfki. uni-sb, de/-henz/oz/mmchkins/.
	10	Martin Henz, Gert Smolka, and JSrg Wfirtz. Object-oriented concurrent constraint programming in Oz. In V. Saraswat and P. Van Hentenryck, editors, Principles and Practice of Constraint Programming, chapter 2, pages 29-48. The MIT Press, Cambridge, MA, 1995.
	11	Martin Henz , Jörg Würtz, Using Oz for College Timetabling, Selected papers from the First International Conference on Practice and Theory of Automated Timetabling, p.162-177, August 29-September 01, 1995
	12	Martin Henz , Stefan Lauer , Detlev Zimmermann, COMPOzE---Intention-based Music Composition through Constraint Programming, Proceedings of the 8th International Conference on Tools with Artificial Intelligence (ICTAI '96), p.118, November 16-19, 1996
	13	Eric Jul , Henry Levy , Norman Hutchinson , Andrew Black, Fine-grained mobility in the Emerald system, ACM Transactions on Computer Systems (TOCS), v.6 n.1, p.109-133, Feb. 1988 [doi>10.1145/35037.42182]
	14	Lawrence Berkeley Laboratory. Whiteboard tool "WB'. Available at http://mice, od. ac. uk/mice/archive.
	15	Lone Leth and Bent Thomsen. Some Facile Chemistry, European Computer-Industry Research Centre, Report ECRC-92-14, May 1992.
	16	General Magic, Inc. Telescript Developer Resources, Available at http:/lwwv, gsnaaglc, com/Devslop/Tslsscript/tsdocs, html.
	17	Peter Magnusson. Xntery, et Perspectives. Presentation at Memtek seminar, March 1996. Available at http://vvv, sics. se/'psm/Intsrnot_perspsct ivss/.
	18	Randy Otte , Paul Patrick , Mark Roy, Understanding CORBA (Common Object Request Broker Architecture), Prentice-Hall, Inc., Upper Saddle River, NJ, 1995
	19	Programming Systems Lab, DFKI. The DFt(I Oz system version 1.1, German Research Centre for Artificial Intelligence (DFKI), 1995. Available at http://ps-~, dfki .uni-sb. de/.
	20	Vijay A. Saraswat, Concurrent constraint programming, MIT Press, Cambridge, MA, 1993
	21	S. Schmeier and Schupeta Achim. PASHA IIm Personal Assistant for Scheduling Appointments. Proc. 1st Int. Conf. on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1996.
	22	Gert Smolka. The Oz Programming Model, In Computer Science Today, Springer LNCS 1000, 1995, pages 324-343.
	23	Gert Smolka. An Oz Primer. in DFK! Oz Documentation, 1995. Available at http://ps-wvv, dfki. uni-sb, ds/oz/document at ion/lcrash.
	24	Gert Smolka, The Definition of Kernel Oz, Selected Papers from Constraint Programming: Basics and Trends, p.251-292, May 16-20, 1994
	25	Gert Smolka, Christian Schulte, and Peter Van Roy. PERDlO-Persistent and Distributed Programming in Oz, BMBF project proposal, Feb. 1995. Available at http://ps-wtm, d:fki, ttui-sb, dm/fbps/imrdio, html.
	26	W. Richard Stevens, UNIX network programming, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	27	Sun Microsystems, Inc. The Java Series. Addison-Wesley, 1996. Available at http://m~, my. com/cp/javasori,s.html.
	28	Peter Van Roy , Seif Haridi , Per Brand , Gert Smolka , Michael Mehl , Ralf Scheidhauer, Mobile objects in distributed Oz, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.5, p.804-851, Sept. 1997 [doi>10.1145/265943.265972]
	29	Joachim P. Walser. Feasible Cellular Frequency Assignment Using Constraint Programming Abstractions. In Proc. 1st Workshop on Constraint Programming Applications, CP-96, Cambridge, MA, 1996.
	30	Class WikstrSm. Distributed Programming in Erlang, First International Symposium on Parallel Symbolic Computation (PASCO '94), World Scientific, Sep. 1994, pages 412-421.

CITED BY 8

	Seif Haridi , Peter Van Roy , Per Brand , Michael Mehl , Ralf Scheidhauer , Gert Smolka, Efficient logic variables for distributed computing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.3, p.569-626, May 1999
	Marek Paralič, Contribution to simplifying the mobile agent programming, Proceedings of the 22nd international conference on Software engineering, p.716-718, June 04-11, 2000, Limerick, Ireland
	Peter Van Roy , Seif Haridi , Per Brand , Gert Smolka , Michael Mehl , Ralf Scheidhauer, Mobile objects in distributed Oz, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.5, p.804-851, Sept. 1997
	J. H. Nyström , P. W. Trinder , D. J. King, Evaluating distributed functional languages for telecommunications software, Proceedings of the 2003 ACM SIGPLAN workshop on Erlang, p.1-7, August 29-29, 2003, Uppsala, Sweden
	Alejandro Zunino , Marcelo Campo , Cristian Mateos, Reactive Mobility by Failure: When Fail Means Move, Information Systems Frontiers, v.7 n.2, p.141-154, May 2005
	Paul Tarau , Veronica Dahl, High-level networking with mobile code and first order AND-continuations, Theory and Practice of Logic Programming, v.1 n.3, p.359-380, May 2001
	P. W. Trinder , H.-W. Loidl , R. F. Pointon, Parallel and Distributed Haskells, Journal of Functional Programming, v.12 n.5, p.469-510, July 2002
	Jan Nyström , Phil Trinder , David King, Evaluating high-level distributed language constructs, ACM SIGPLAN Notices, v.42 n.9, September 2007