|
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.
http://www.ps.uni-sb.de/oz2/
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.
http://codepoetics.com/wiki/index.php?titl...
MOZ 2004
Second International Mozart/Oz conference.
http://www.cetic.be/moz2004/
The Mozart Programming System
Description with references. Compares Oz to some other logic-based languages.
http://www.cs.ucy.ac.cy/compulog/issue7/pr...
Oz Programming Language
Description, well written, growing, with some links. [Wikipedia]
http://en.wikipedia.org/wiki/Oz_programmin...
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.
http://mitpress.mit.edu/catalog/item/defau...
CTMWiki
Companion wiki to the book: Concepts, Techniques, and Models of Computer Programming. Further treatment of many topics.
http://codepoetics.com/wiki/index.php?titl...
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.
http://www.info.ucl.ac.be/people/PVR/distr...
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.
http://www2.info.ucl.ac.be/people/PVR/book...
|