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 41 to 60 of 113.
Sorted by year (citations)
  1. Wallace, Mark; Schimpf, Joachim; Shen, Kish; Harvey, Warwick: On benchmarking constraint logic programming platforms. Response to Fernández and Hill’s “A comparative study of eight constraint programming languages over the Boolean and finite domains” (2004)
  2. Zimmer, Jürgen; Melis, Erica: Constraint solving for proof planning (2004)
  3. Duchier, Denys: Dominance constraints with Boolean connectives: A model-eliminative treatment (2003)
  4. Erk, Katrin; Koller, Alexander; Niehren, Joachim: Processing underspecified semantic representations in the constraint language for lambda structures (2003)
  5. Fernández, Antonio J.; Hortalá-González, Teresa; Sáenz-Pérez, Fernando: A constraint functional logic language for solving combinatorial problems (2003)
  6. Guessarian, Irène; Foustoucos, Eugénie; Andronikos, Theodore; Afrati, Foto: On temporal logic versus Datalog (2003)
  7. Hoffmann, Berthold: Abstraction and control for shapely nested graph transformation (2003)
  8. Kollár, Ján: Unified approach to environments in a process functional language (2003)
  9. Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.: Model-based testing for real: the inhouse card case study (2003) ioport
  10. Van Roy, Peter; Brand, Per; Duchier, Denys; Haridi, Seif; Schulte, Christian; Henz, Martin: Logic programming in the context of multiparadigm programming: The Oz experience (2003)
  11. Abdennadher, Slim; Krämer, Ekkerhard; Saft, Matthias; Schmauss, Matthias: JACK: a Java constraint kit (2002) ioport
  12. Caseau, Yves; Josset, François-Xavier; Laburthe, François: CLAIRE: Combining sets, search and rules to better express algorithms (2002)
  13. Echahed, Rachid; Serwe, Wendelin: Defining actions in concurrent declarative programming (2002)
  14. Fernández, Antonio J.; Hortalá-González, Teresa; Sáenz-Pérez, Fernando: Solving combinatorial problems with a constraint functional logic language (2002)
  15. Hannebauer, Markus: Autonomous dynamic reconfiguration in multi-agent systems. Improving the quality and efficiency of collaborative problem solving (2002)
  16. Schulte, Christian: Programming constraint services. High-level programming of standard and new constraint services (2002)
  17. Ueda, Kazunori: A pure meta-interpreter for Flat GHC, a concurrent constraint language (2002)
  18. van Eijk, Rogier M.: Semantics of agent communication: An introduction (2002)
  19. Van Hentenryck, Pascal: Constraint and integer programming in OPL (2002)
  20. Zimmer, Jürgen; Dennis, Louise A.: Inductive theorem proving and computer algebra in the MathWeb Software Bus (2002)

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