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 61 to 80 of 113.
Sorted by year (citations)
  1. Albert, Elvira: Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency (2001)
  2. Backofen, Rolf: The protein structure prediction problem: A constraint optimization approach using a new lower bound (2001)
  3. Backofen, Rolf; Will, Sebastian: Fast, constraint-based threading of HP-sequences to hydrophobic cores (2001)
  4. Ferreira, Lígia; Abreu, Salvador: Design for AJACS, yet another Java constraint programming framework (2001)
  5. Gehrke, Wolfgang; Pfalzgraf, Jochen: Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints (2001)
  6. Hanus, Michael; Huch, Frank; Niederau, Philipp: ObjectCurry: an object-oriented extension of the declarative multi-paradigm language curry (2001)
  7. Henz, Martin: Scheduling a major college basketball conference--revisited (2001)
  8. Jouannaud, Jean-Pierre; Treinen, Ralf: Constraints and constraint solving: an introduction (2001)
  9. Knuutila, Timo; Puranen, Mikko; Johnsson, Mika; Nevalainen, Olli: Three perspectives for solving the job grouping problem (2001)
  10. Kohlhase, Michael; Franke, Andreas: MBase: Representing knowledge and context for the integration of mathematical software systems (2001)
  11. Krieger, Hans-Ulrich: Greatest model semantics for typed feature structures (2001)
  12. Lago, Joaquín Mateos; Artalejo, Mario Rodríguez: A declarative framework for object-oriented programming with genetic inheritance (2001)
  13. Lind, Jürgen: Iterative software engineering for multiagent systems. The MASSIVE method. (2001)
  14. Lux, Wolfgang: Adding linear constraints over real numbers to Curry (2001)
  15. Mello, Paola; Milano, Michela; Gavanelli, Marco; Lamma, Evelina; Piccardi, Massimo; Cucchiara, Rita: From eager or lazy constrained data acquisition: A general framework (2001)
  16. Müller, Martin; Niehren, Joachim; Treinen, Ralf: The first-order theory of ordering constraints over feature trees (2001)
  17. Niehren, Joachim; Koller, Alexander: Dominance constraints in context unification (2001)
  18. Palamidessi, Catuscia; Valencia, Frank D.: A temporal concurrent constraint programming calculus (2001)
  19. Pointon, R. F.; Trinder, P. W.; Loidl, H.-W.: The design and implementation of Glasgow distributed Haskell (2001)
  20. Simonis, Helmut: Building industrial applications with constraint programming (2001)

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