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 110 articles )

Showing results 1 to 20 of 110.
Sorted by year (citations)

1 2 3 4 5 6 next

  1. Beyer, Dirk; Gulwani, Sumit; Schmidt, David A.: Combining model checking and data-flow analysis (2018)
  2. Van Cauwelaert, Sascha; Lombardi, Michele; Schaus, Pierre: How efficient is a global constraint in practice? A fair experimental framework (2018)
  3. Michel, L.; Van Hentenryck, P.: A microkernel architecture for constraint programming (2017)
  4. Riguzzi, Fabrizio: The distribution semantics for normal programs with function symbols (2016)
  5. Iser, Markus; Manthey, Norbert; Sinz, Carsten: Recognition of nested gates in CNF formulas (2015)
  6. Hanus, Michael: Functional logic programming: from theory to Curry (2013)
  7. Olarte, Carlos; Rueda, Camilo; Valencia, Frank D.: Models and emerging trends of concurrent constraint programming (2013)
  8. Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.: Search combinators (2013)
  9. Gorlin, Andrey; Ramakrishnan, C. R.; Smolka, Scott A.: Model checking with probabilistic tabled logic programming (2012)
  10. Lopes, Ricardo; Costa, Vítor Santos; Silva, Fernando: A design and implementation of the extended Andorra model (2012)
  11. Hosobe, Hiroshi; Satoh, Ken; Ma, Jiefei; Russo, Alessandra; Broda, Krysia: Speculative constraint processing for hierarchical agents (2010)
  12. Plagge, Daniel; Leuschel, Michael: Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more (2010) ioport
  13. Schlich, Bastian; Kowalewski, Stefan: Model checking C source code for embedded systems (2009) ioport
  14. Buscemi, Maria Grazia; Montanari, Ugo: A survey of constraint-based programming paradigms (2008)
  15. Leuschel, Michael; Butler, Michael: Prob: An automated analysis toolset for the B method (2008) ioport
  16. Mancini, Toni; Micaletto, Davide; Patrizi, Fabio; Cadoli, Marco: Evaluating ASP and commercial solvers on the CSPLib (2008)
  17. Braßel, Bernd: A framework for interpreting traces of functional logic computations (2007)
  18. López Fraguas, Francisco J.; Rodríguez Artalejo, Mario; del Vado Vírseda, Rafael: A new generic scheme for functional logic programming with constraints (2007)
  19. Niehren, Joachim; Sabel, David; Schmidt-Schauß, Manfred; Schwinghammer, Jan: Observational semantics for a concurrent lambda calculus with reference cells and futures (2007)
  20. Backofen, Rolf; Will, Sebastian: A constraint-based approach to fast and exact structure prediction in three-dimensional protein models (2006)

1 2 3 4 5 6 next


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