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

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

1 2 3 4 5 6 next

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

1 2 3 4 5 6 next


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