Oz is a multi-paradigm programming language. A multiparadigm programming language is a programming language that supports more than one programming paradigm. ...

Oz was originally developed in the Programming Systems Lab at Saarland University by Gert Smolka and his students in the early 1990s. In 1996 the development of Oz continued in cooperation with the research group of Seif Haridi at the Swedish Institute of Computer Science. Since 1999, Oz has been continually developed by an international group, the Mozart Consortium, that originally consisted of Saarland University, the Swedish Institute of Computer Science, and the Université catholique de Louvain. In 2005, the responsibility for managing Mozart development was transferred to a core group, the Mozart Board, with the express purpose of opening Mozart development to a larger community. Categories: Possible copyright violations ... The 1990s refers to the years 1990 to 1999; the last decade of the 20th Century, but in an economical sense The Nineties is often considered to span from the fall of the Berlin Wall in November 1989 to the September 11 attacks in 2001. ... Swedish Institute of Computer Science, SICS, is an independent non-profit research organization. ... Swedish Institute of Computer Science, SICS, is an independent non-profit research organization. ... The Université catholique de Louvain, sometimes known as UCL, is Belgiums largest French-speaking university. ...

Oz has a high-quality implementation, the Mozart Programming System, which is released with an Open Source license by the Mozart Consortium. Mozart has been ported to different flavors of Unix, FreeBSD, Linux, Microsoft Windows, and Mac OS X. The Mozart Programming System is a multi-platform implementation of the Oz programming language developed by the Mozart Consortium. ... Wikibooks has more about this subject: Guide to UNIX Unix or UNIX is a computer operating system originally developed in the 1960s and 1970s by a group of AT&T Bell Labs employees including Ken Thompson, Dennis Ritchie, and Douglas McIlroy. ... FreeBSD is a Unix-like free software operating system descended from AT&T UNIX via the Berkeley Software Distribution (BSD) branch through 386BSD and 4. ... Tux, a cartoon penguin frequently featured sitting, is the official Linux mascot. ... Microsoft Windows is a series of operating environments and operating systems created by Microsoft for use on personal computers and servers. ... Mac OS X is the operating system which is included with all shipping Apple Macintosh computers in the consumer and professional markets. ...

Language features

Oz contains in a simple and well-factored way most of the concepts of the major programming paradigms, including logic, functional (both lazy and eager), imperative, object-oriented, constraint, distributed, and concurrent programming. Oz has both a simple formal semantics (see chapter 13 of the book mentioned below) and an efficient implementation, the Mozart Programming System (see below). Oz is a concurrency-oriented language, as the term was introduced by Joe Armstrong, the main designer of the Erlang language. A concurrency-oriented language makes concurrency both easy to use and efficient. A programming paradigm is a paradigmatic style of programming (compare with a methodology which is a paradigmatic style of doing software engineering). ... Logic programming is a programming paradigm that is claimed to be declarative (i. ... The Haskell programming language logo Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions. ... In computer programming, lazy evaluation is a concept that attempts to minimize the work the computer has to do. ... Eager evaluation is the evaluation model in most traditional programming languages. ... In computer science, imperative programming, as opposed to declarative programming, is a programming paradigm that describes computation in terms of a program state and statements that change the program state. ... Object-oriented programming (OOP) is a computer programming paradigm in which a software system is modeled as a set of objects that interact with each other. ... Constraint programming is a programming paradigm, in which a set of constraints that a solution must meet are specified, rather than set of steps to obtain such a solution. ... This article or section should be merged with Distributed computing Distributed programming falls out of the use of computers to form networks. ... Concurrent programming languages are programming languages that use language constructs for concurrency. ... In computer science, concurrency is concerned with the sharing of common resources between computations which execute overlapped in time (including running in parallel). ... Joe Armstrong succeeded Louis Rocca as chief scout of Manchester United F.C. after the Second World War. ... Erlang is a general-purpose concurrent programming language and runtime system. ... In computer science, concurrency is concerned with the sharing of common resources between computations which execute overlapped in time (including running in parallel). ...

In addition to multi-paradigm programming, the major strengths of Oz are in constraint programming and distributed programming. Because of its factored design, Oz is able to successfully implement a network-transparent distributed programming model. This model makes it easy to program open, fault-tolerant applications within the language. For constraint programming, Oz introduces the idea of computation spaces, which allows user-defined search and distribution strategies that are orthogonal to the constraint domain. Constraint programming is a programming paradigm, in which a set of constraints that a solution must meet are specified, rather than set of steps to obtain such a solution. ... This article or section should be merged with Distributed computing Distributed programming falls out of the use of computers to form networks. ... Fault-tolerance or graceful degradation is the property of a system that continues operating properly in the event of failure of some of its parts. ... In mathematics, orthogonal is synonymous with perpendicular when used as a simple adjective that is not part of any longer phrase with a standard definition. ... A constraint is a limitation of possibilities. ...

References

• Peter Van Roy and Seif Haridi (2004). Concepts, Techniques, and Models of Computer Programming. MIT Press. There is online supporting material for this book. The book is an introduction to the principles of programming languages that uses Oz as its preferred idiom for examples.

External links

• Tutorial of Oz
• The Mozart Programming System Official website
• Open Directory: Oz
• Programming Language Research at UCL: One of the core developers of Mozart/Oz, this group does research using Mozart/Oz as the vehicle
• Multiparadigm Programming in Mozart/Oz: Proceedings of MOZ 2004: Conference that gives a snapshot of the work being done with Mozart/Oz