Abstract
In this chapter, we describe the language Small Oz, a simplified version of Oz. The description follows the Oz Programming Model (OPM) [Smo95], a programming model underlying Oz.1 OPM adds higher-order programming and explicit concurrency to the framework of concurrent constraint programming and extends functional programming by introducing data-driven synchronization of concurrent threads through logic variables.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ken Arnold and James Gosling. The Java Programming Language. The Java Series. Addison-Wesley, Reading, MA, 1996.
Henri Bal. A comparative study of five parallel programming languages. In EurOpen Spring Conference on Open Distributed Systems in Perspective, pages 209–228, Tromso, Norway, 1991.
Henry Baker and Carl Hewitt. The incremental garbage collection of processes. A.I. Memo No. 454, Massachusetts Institute of Technology, Cambridge, MA, December 1977.
Jack Dennis. First version of a data flow procedure language. In Bernhard Robinet, editor, Proceedings Colloque sur la Programmation, Lecture Notes in Computer Science 19, pages 362–376, Paris, 1974. Springer-Verlag, Berlin.
Ole-Johan Dahl and Kristen Nygaard. Simula, an Algol-based simulation language. Communications of the ACM, 9(9):671–678,1966.
Ian Foster, Robert Olson, and Steven Tuecke. Productive parallel programming: The PCN approach. Scientific Programming, l(l):55–66,1992.
Adele Goldberg and David Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, MA, 1983.
Robert Halstead. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems, 7(4):501–538, 1985.
Carl Hewitt and Henry Baker. Laws for communicating parallel processes. In Bruce Gilchrist, editor, Proceedings of the World Computer Congress of the IFIP, pages 987–992, Toronto, Canada, August 1977. North-Holland, Amsterdam.
Martin Henz. The Oz notation. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, 1997.
Carl Hewitt. Viewing control structures as patterns of message passing. Journal of Artificial Intelligence, 8(3):323–364, 1977.
Joachim Niehren. Funktionale Berechnung in einem Uniform Nebenläufigen Kalkül mit Logischen Variablen. Doctoral Dissertation, Universität des Saarlandes, Fachbereich Informatik, Im Stadtwald, 66041 Saarbrücken, Germany, December 1994.
Jens Palsberg and Michael Schwartzbach. Object-Oriented Type Systems. John Wiley & Sons, New York, 1994.
Ehud Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21(3):413–511, September 1989.
Gert Smolka. The Oz programming model. In Jan van Leeuwen, editor, Computer Science Today, Lecture Notes in Computer Science 1000, pages 324–343. Springer-Verlag, Berlin, 1995.
Gert Smolka. An Oz primer. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, 1997.
Gert Smolka and Ralf Treinen. Records for logic programming. Journal of Logic Programming, 18(3):229–258, April 1994.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
Henz, M. (1998). Small Oz. In: Objects for Concurrent Constraint Programming. The Springer International Series in Engineering and Computer Science, vol 426. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5477-6_3
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5477-6_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7502-9
Online ISBN: 978-1-4615-5477-6
eBook Packages: Springer Book Archive