Oz

Oz is a high-level programming language combining constraint inference with concurrency. Typical application areas of Oz include optimization problems like scheduling, time tabling, placement and configuration, reasoning and knowledge representation, processing of natural language, simulations, multi agent systems, and sophisticated graphical user interfaces. Oz is dynamically typed and has first-class procedures, classes, objects, exceptions and sequential threads synchronizing over a constraint store. It supports finite domain and feature constraints and has powerful primitives for programming constraint inference engines at a high level.


References in zbMATH (referenced in 113 articles )

Showing results 81 to 100 of 113.
Sorted by year (citations)
  1. Amadio, R. M.: On modelling mobility (2000)
  2. Antoy, Sergio; Hanus, Michael: Compiling multi-paradigm declarative programs into Prolog (2000)
  3. de Boer, F. S.; Gabbrielli, M.; Meo, M. C.: A timed concurrent constraint language. (2000)
  4. Echahed, Rachid; Serwe, Wendelin: Combining mobile processes and declarative programming (2000)
  5. Franke, Andreas; Kohlhase, Michael: System description: MBase, an open mathematical knowledge base (2000)
  6. Melis, Erica; Zimmer, Jürgen; Müller, Tobias: Integrating constraint solving into proof planning (2000)
  7. Michel, Laurent; Van Hentenryck, Pascal: Localizer (2000)
  8. Müller, Martin; Niehren, Joachim: Ordering constraints over feature trees expressed in second-order monadic logic. (2000)
  9. Philippsen, Michael: A survey of concurrent object-oriented languages (2000)
  10. Zhou, Jianyang: Introduction to the constraint language NCL (2000)
  11. Burg, Jennifer J.; Ainsworth, John; Casto, Brian; Lang, Sheau-Dong: Experiments with the “Oregon Trail knapsack problem” (1999)
  12. Comon, Hubert; Dincbas, Mehmet; Jouannaud, Jean-Pierre; Kirchner, Claude: A methodological view of constraint solving (1999)
  13. Franke, Andreas; Hess, Stephan M.; Jung, Christoph G.; Kohlhase, Michael; Sorge, Volker: Agent-oriented integration of distributed mathematical services (1999)
  14. Henz, Martin; Müller, Tobias; Boon, Ng Ka: Figaro: Yet another constraint programming library (1999)
  15. Huntbach, Matthew M.; Ringwood, Graem A.: Agent-oriented programming. From Prolog to guarded definite clauses. (1999)
  16. Lux, Wolfgang: Implementing encapsulated search for a lazy functional logic language (1999)
  17. Walser, Joachim Paul: Integer optimization by local search. A domain-independent approach (1999)
  18. Apt, Krzysztof R.: A proof theoretic view of constraint programming (1998)
  19. Bockmayr, Alexander; Kasper, Thomas: Branch and infer: A unifying framework for integer and finite domain constraint programming. (1998)
  20. Borghoff, Uwe M.; Pareschi, Remo; Arcelli, Francesca; Formato, Ferrante: Constraint-based protocols for distributed problem solving (1998)

Further publications can be found at: http://www.mozart-oz.org/papers/