×

Oz

swMATH ID: 6799
Software Authors: Henz, M., Smolka, G., and Würtz, J.
Description: 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.
Homepage: http://www.ps.uni-saarland.de/oz2/
Related Software: CHIP; Mozart; CLAIRE; CPLEX; SALSA; SICStus; Haskell; XSB; AMPL; Pict; OPL; TOY; Curry; BABEL; METATEM; ProbLog; Localizer; MiniZinc; COMET; SWI-Prolog
Cited in: 108 Publications
Further Publications: http://www.mozart-oz.org/papers/
all top 5

Cited by 183 Authors

6 Niehren, Joachim
5 Henz, Martin
5 Valencia, Frank D.
5 Van Hentenryck, Pascal
4 Backofen, Rolf
4 Hanus, Michael
3 Franke, Andreas
3 Kohlhase, Michael
3 Lamma, Evelina
3 Michel, Laurent
3 Müller, Tobias M.
3 Riguzzi, Fabrizio
3 Smolka, Gert
3 Zimmer, Jürgen
2 Duchier, Denys
2 Echahed, Rachid
2 Fernández, Antonio J.
2 Gavanelli, Marco
2 Gorlin, Andrey
2 Haridi, Seif
2 Hortalá-González, Teresa
2 Jacquet, Jean-Marie
2 Jouannaud, Jean-Pierre
2 Koller, Alexander
2 Linden, Isabelle
2 Lux, Wolfgang
2 Martí-Oliet, Narciso
2 Melis, Erica
2 Mello, Paola
2 Milano, Michela
2 Palamidessi, Catuscia
2 Ramakrishnan, C. R.
2 Rodríguez-Artalejo, Mario
2 Rueda, Camilo
2 Sáenz-Pérez, Fernando
2 Schrijvers, Tom
2 Schulte, Christian
2 Schwinghammer, Jan
2 Serwe, Wendelin
2 Smolka, Scott A.
2 Treinen, Ralf
2 Van Roy, Peter
2 Walser, Joachim Paul
2 Will, Sebastian
1 Abreu, Salvador
1 Afrati, Foto N.
1 Ainsworth, John
1 Albert, Elvira
1 Alberti, Marco
1 Amadio, Roberto M.
1 Amandi, Analía
1 Andronikos, Theodore
1 Antoy, Sergio
1 Apt, Krzysztof Rafal
1 Arcelli, Francesca
1 Basu, Samik
1 Beyer, Dirk
1 Bockmayr, Alexander
1 Boon, Ng Ka
1 Borghoff, Uwe M.
1 Brand, Per
1 Braßel, Bernd
1 Broda, Krysia B.
1 Brogi, Antonio
1 Burg, Jennifer J.
1 Buscemi, Maria Grazia
1 Cadoli, Marco
1 Campo, Marcelo R.
1 Caseau, Yves
1 Casto, Brian
1 Chakravarty, Manuel M. T.
1 Charatonik, Witold
1 Comon, Hubert
1 Santos Costa, Vítor
1 Cucchiara, Rita
1 de Boer, Frank S.
1 De Bosschere, Koen
1 del Vado Vírseda, Rafael
1 Dennis, Louise Abigail
1 Dincbas, Mehmet
1 Erk, Katrin
1 Ferreira, Lígia
1 Formato, Ferrante
1 Foustoucos, Eugénie
1 Fraccaroli, Michele
1 Gabbrielli, Maurizio
1 Gehrke, Wolfgang
1 Guessarian, Irène
1 Gulwani, Sumit
1 Guo, Yike
1 Hannebauer, Markus
1 Harvey, Warwick
1 Hermenegildo, Manuel V.
1 Hess, Stephan M.
1 Hoffmann, Berthold
1 Hosobe, Hiroshi
1 Huch, Frank
1 Huntbach, Matthew M.
1 Iser, Markus
1 Jagannathan, Suresh
...and 83 more Authors

Citations by Year