swMATH ID: 4759
Software Authors: Peter Van Roy; Seif Haridi
Description: The Mozart Programming System is an advanced development platform for intelligent, distributed applications. The system is the result of a decade of research in programming language design and implementation, constraint-based inference, distributed computing, and human-computer interfaces. As a result, Mozart is unequalled in expressive power and functionality. Mozart has an interactive incremental development environment and a production-quality implementation for Unix and Windows platforms. Mozart is the fruit of an ongoing research collaboration by the Mozart Consortium. Mozart is based on the Oz language, which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part of a coherent whole. For distribution, Mozart provides a true network transparent implementation with support for network awareness, openness, and fault tolerance. Mozart supports multi-core programming with its network transparent distribution and is an ideal platform for both general-purpose distributed applications as well as for hard problems requiring sophisticated optimization and inferencing abilities. We have developed many applications including sophisticated collaborative tools, multi-agent systems, and digital assistants, as well as applications in natural language understanding and knowledge representation, in scheduling and time-tabling, and in placement and configuration.
Homepage: http://www.mozart-oz.org/
Keywords: Oz language; distributed applications
Related Software: Oz; CPLEX; CHIP; SICStus; Choco; Haskell; METATEM; JavaLog; MathWeb; TPTP; CLAIRE; sunny-cp; CUD@SAT; Lingeling; DOC-BRelax; aspeed; Essence; HordeSat; Plingeling; PaMiraXT
Cited in: 15 Publications
Further Publications: http://www.mozart-oz.org/papers/

Citations by Year