The following persons have contributed directly to the design and/or
implementation of Oz:
Martin Henz,
Michael Mehl,
Martin Müller,
Tobias Müller,
Joachim Niehren,
Konstantin Popov,
Ralf Scheidhauer,
Christian Schulte,
Gert Smolka,
Ralf Treinen, and
Jörg Würtz.
Peter van Roy
contributes since October 1994.
The development of Oz is supported by the Bundesminister für Forschung
und Technology (Hydra, ITW 9105), the Esprit Basic Research Project
ACCLAIM (contract EP 7195) and the Esprit Working Group CCL (contract EP
6028).
References
- 1
-
Martin Henz.
The Oz notation.
DFKI Oz documentation series, German Research Center for
Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123
Saarbrücken, Germany, 1994.
- 2
-
Martin Henz and Martin Müller.
Programming in Oz.
DFKI Oz documentation series, German Research Center for
Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123
Saarbrücken, Germany, 1994.
- 3
-
Martin Henz, Martin Müller, Christian Schulte, and Jörg Würtz.
The Oz standard modules.
DFKI Oz documentation series, German Research Center for
Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123
Saarbrücken, Germany, 1994.
- 4
-
Martin Henz, Gert Smolka, and Jörg Würtz.
Object-oriented concurrent constraint programming in Oz.
In V. Saraswat and P. Van Hentenryck, editors, Principles and
Practice of Constraint Programming, chapter 2, pages 27--48. The MIT Press,
Cambridge, MA, 1995.
To appear.
- 5
-
Michael Mehl.
Window programming in DFKI Oz.
DFKI Oz documentation series, German Research Center for
Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123
Saarbrücken, Germany, 1994.
- 6
-
Michael Mehl, Tobias Müller, Konstantin Popow, and Ralf Scheidhauer.
DFKI Oz user's manual.
DFKI Oz documentation series, German Research Center for
Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123
Saarbrücken, Germany, 1994.
- 7
-
Martin Müller, Tobias Müller, Christian Schulte, Ralf Treinen, and
Jörg Würtz.
DFKI Oz demos.
DFKI Oz documentation series, German Research Center for
Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123
Saarbrücken, Germany, 1994.
- 8
-
Tobias Müller, Konstantin Popow, Christian Schulte, and Jörg Würtz.
Constraint programming in Oz.
DFKI Oz documentation series, German Research Center for
Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123
Saarbrücken, Germany, 1994.
- 9
-
Christian Schulte.
Open programming in DFKI Oz.
DFKI Oz documentation series, German Research Center for
Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123
Saarbrücken, Germany, 1994.
- 10
-
Christian Schulte and Gert Smolka.
Encapsulated search in higher-order concurrent constraint
programming.
In Maurice Bruynooghe, editor, Logic Programming: Proceedings of
the 1994 International Symposium, pages 505--520, Ithaca, New York, USA,
13--17 November 1994. The MIT Press.
- 11
-
Christian Schulte, Gert Smolka, and Jörg Würtz.
Encapsulated search and constraint programming in Oz.
In A.H. Borning, editor, Second Workshop on Principles and
Practice of Constraint Programming, Lecture Notes in Computer Science, vol.
874, pages 134--150, Orcas Island, Washington, USA, 2-4 May 1994.
Springer-Verlag.
- 12
-
Gert Smolka.
A calculus for higher-order concurrent constraint programming with
deep guards.
Research Report RR-94-03, German Research Center for Artificial
Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany,
February 1994.
- 13
-
Gert Smolka.
The definition of Kernel Oz.
DFKI Oz documentation series, German Research Center for
Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123
Saarbrücken, Germany, November 1994.
- 14
-
Gert Smolka.
A foundation for higher-order concurrent constraint programming.
In Jean-Pierre Jouannaud, editor, 1st International Conference
on Constraints in Computational Logics, Lecture Notes in Computer Science,
vol. 845, pages 50--72, München, Germany, 7--9 September 1994.
Springer-Verlag.
- 15
-
Gert Smolka.
An Oz primer.
DFKI Oz documentation series, German Research Center for
Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123
Saarbrücken, Germany, 1995.
- 16
-
Gert Smolka and Ralf Treinen.
Records for logic programming.
Journal of Logic Programming, 18(3):229--258, April 1994.