| submit a site to this category |
|   |
|
|
CTMWikiURL: http://codepoetics.com/wiki/index.php?title=Main_Page ODP description: Companion wiki to the book: Concepts, Techniques, and Models of Computer Programming. Further treatment of many topics. Page title: Main Page - CTMWiki ![]() |
|
|
Concepts, Techniques, and Models of Computer ProgrammingURL: http://www.info.ucl.ac.be/~pvr/book.html ODP description: 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. Page description: A comprehensive programming textbook that covers all important programming paradigms in a unified framework that is both practical and theoretically sound. Special attention is given to concurrent programming and data abstraction. ![]() |
|
|
Mozart Programming SystemURL: http://www.mozart-oz.org/ ODP description: 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. Page title: The Mozart Programming System ![]() |
|
|
CTMWiki: Topics: CTM in Other Languages: Alice MLURL: http://codepoetics.com/wiki/index.php?title=Topics:CTM_in_other_languages:Alice_ML ODP description: Wiki translating many CTM book sample programs into Alice, a statically typed language extending Standard ML with features of Oz. Divided into chapters. Page title: Topics:CTM in other languages:Alice ML - CTMWiki ![]() |
|
|
Programming Languages and Distributed ComputingURL: http://www.info.ucl.ac.be/~pvr/distribution.html ODP description: 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. Page title: UCL - Département d'Ingénierie Informatique - Programming Research ![]() |
|
|
MOZ 2004URL: http://www.cetic.be/moz2004/ ODP description: Information on an international Mozart/Oz conference. [This site refers to a past event, but contains research papers that may be of interest.] Page title: Second International Mozart/Oz Conference (MOZ 2004) ![]() |
|
|
The Mozart Programming SystemURL: http://www.cs.ucy.ac.cy/compulog/issue7/projects/mozart.htm ODP description: Description with references. Compares Oz to some other logic-based languages. ![]() |
|
|
Oz Programming LanguageURL: http://en.wikipedia.org/wiki/Oz_programming_language ODP description: Description, well written, growing, with some links. [Wikipedia] Page title: Oz (programming language) - Wikipedia, the free encyclopedia ![]() |
|
| |