|
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 [MORE]
|
|
|
1. |
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.
|
|
|
2. |
CTMWiki
-
Companion wiki to the book: Concepts, Techniques, and Models of Computer Programming. Further treatment of many topics.
|
|
|
3. |
CTMWiki: Topics: CTM in Other Languages: Alice ML
-
Wiki translating many CTM book sample programs into Alice, a statically typed language extending Standard ML with features of Oz. Divided into chapters.
|
|
|
4. |
Oz Programming Language
-
Description, well written, growing, with some links. [NodeWorks Encyclopedia]
|
|
|
5. |
The Mozart Programming System
-
Description with references. Compares Oz to some other logic-based languages.
|
|
|
6. |
MOZ 2004
NEW!
-
Information on an international Mozart/Oz conference. [This site refers to a past event, but contains research papers that may be of interest.]
|
|
|
7. |
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.
|
|
|
8. |
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.
|
|
|
