Oz is a multiparadigm programming language supporting eight models: concurrent, constraint, dataflow synchronization, distributed, functional (evaluation: eager, lazy), imperative, logic, object-oriented (class-based). It combines concurrent and distributed programming with logical constraint-based inference. The Mozart Programming System is a multiplatform programming environment used for Oz. It runs programs in a virtual machine.
Related categories 13
Mozart Programming System
Free major development platform for open, fault-tolerant, distributed, constraint and logic programming applications: full development environment, tools, documentation, tutorials, source code. Applications developed: realtime bus scheduler, configuration tool, collaborative graphic editor, corpus browser, and extended ICQ.
Concepts, Techniques, and Models of Computer Programming
Companion website to textbook, teaches programming via Oz language, presents all major programming paradigms in a unified framework that is theoretically sound and practical. Many references, reviews, links.
The Mozart Programming System
Description with references. Compares Oz to some other logic-based languages.
Oz Programming Language
Description, well written, growing, with some links. [Wikipedia]
Programming Languages and Distributed Computing
Research at the Universite catholique de Louvain (UCL) centered around the Oz language. Topics include peer-to-peer programming, security, tools for collaborative applications, human-computer interfaces, and teaching computer programming.