Top : Computers : Programming : Languages :
Oz
Websites
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/
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/distribution.html
An online textbook that teaches programming using the Oz language. It presents all major programming paradigms in a unified framework that is both practical and theoretically sound.
http://www.info.ucl.ac.be/people/PVR/book.html
Second International Mozart/Oz conference.
site exerpt
Second International Mozart/Oz Conference (MOZ 2004) Paper submission deadline Aug. 13, 2004 Notification of acceptance Aug. 22, 2004 Early registration deadline Aug. 27, 2004 Camera-ready version of papers due Sept. 15, 2004 Late registration deadline Oct. 7-8, 2004 Conference Contact Information Conference Chair Peter Van Roy,...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.
http://www.mozart-oz.org/
Description, well written, growing, with some links. [Wikipedia]
site exerpt
Oz programming language Wikipedia, the free encyclopedia Oz was originally developed in the Programming Systems Lab at Saarland University by Gert Smolka and his students in the early 1990s. Since 1999, Oz has been continually developed by an international group, the Mozart Consortium, that originally consisted of...Companion wiki to the book: Concepts, Techniques, and Models of Computer Programming. Further treatment of many topics.
site exerpt
Main Page CTMWiki This wiki is about the book Concepts, Techniques, and Models of Computer Programming (http www.info.ucl.ac.be/~pvr by Peter van Roy and Seif Haridi, also known here as CTM. It is intended as a forum for discussion of the book and of...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.html
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.
site exerpt
Concepts, Techniques, and Models of Computer Programming The MIT Press This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The...Wiki translating many CTM book sample programs into Alice, a statically typed language extending Standard ML with features of Oz. Divided into chapters.
site exerpt
Topics:CTM in other languages:Alice ML CTMWiki Alice is to bridge the gap between static type checking and the multi-paradigm approach (as attested to in CTM) available in a dynamic language like Oz. The approach taken here is to hopefully show that the two languages share much...Description with references. Compares Oz to some other logic-based languages.
site exerpt
Oz language and is the fruit of a decade of research into concurrent constraint, logic, and distributed programming. The platform is released with a very liberal license (BSD style) that allows both commercial and non-commercial use. Full source code is...