Oz Languages Programming
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
Top: Computers: Programming: Languages: Oz
- Top/Computers/Programming/Languages/Open Source
- Top/Computers/Programming/Languages/Garbage Collected
- Top/Computers/Programming/Languages/Logic-based/Functional Logic
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
- MOZ 2004 - Information on an international Mozart/Oz conference. [This site refers to languages a past event, but contains research papers that may be languages of interest.]
- Oz Programming Language - Description, well written, growing, with some links. [Wikipedia]
- The Mozart Programming System - Description with references. Compares Oz to some other oz logic-based languages.
- 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.
- Concepts, Techniques, and Models of Computer Programming - Companion website to textbook, teaches programming via Oz language, presents languages all major programming paradigms in a unified framework that is languages 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 programming Alice, a programming statically typed language extending Standard ML programming with features of Oz. programming Divided into chapters.
MySQL - Cache Direct