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
By Peter Van Roy, Seif Haridi; MIT Press, 2004, ISBN 0262220695. Teaches science and technology of programming as unified discipline, showing deep relationships between programming paradigms, via Oz, Mozart.
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.
CTMWiki
Companion wiki to the book: Concepts, Techniques, and Models of Computer Programming. Further treatment of many topics.
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.
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]
Oz Programming System
Concurrent constraint programming language designed for applications needing complex symbolic computations, organization into multiple agents, and soft realtime control. The original Oz: DFKI Oz 2.0; features, tools, documents, download. Predecessor of Mozart.
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.
MOZ 2004
Second International Mozart/Oz conference. (October 7, 2004)
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
By Peter Van Roy, Seif Haridi; MIT Press, 2004, ISBN 0262220695. Teaches science and technology of programming as unified discipline, showing deep relationships between programming paradigms, via Oz, Mozart.
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.
CTMWiki
Companion wiki to the book: Concepts, Techniques, and Models of Computer Programming. Further treatment of many topics.
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.
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]
Oz Programming System
Concurrent constraint programming language designed for applications needing complex symbolic computations, organization into multiple agents, and soft realtime control. The original Oz: DFKI Oz 2.0; features, tools, documents, download. Predecessor of Mozart.
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.
MOZ 2004
Second International Mozart/Oz conference. (October 7, 2004)
Results: 1 2 3 Next
Site
Menu 
