OZ (language)

See also: OZ

OZ is a computer programming language making it possible to employ and combine various paradigms of programming:

functional,
procedural and objects,
relational and logical,
forced,
massive competition,
distribution.

OZ provides by defect of the logical variable even if it is possible to use mutable variables. In the same way, the evaluation is strict by defect, but the lazy evaluation is possible.

The originality of this language compared to others supporting the programming logical (on the one hand) or competitor and distributed (on the other hand, like Erlang), is the integration of these paradigms in a coherent whole. A single abstraction in its kind is provided by OZ: the calculation gap, which makes it possible to encapsulate calculations at speculative ends and makes it possible to combine the logical/forced aspects, orientation object and mutability, competition and distribution, in the same language.

OZ is equipped with a Ramasse-miettes and a Management system of distributed exceptions.

OZ is implemented by the Mozart system, providing a compiler, a virtual machine and an environment of development using EMACS for the edition part, a graphic debugger supporting competition and the distribution, a tool for exploration of trees of research for the programming by constraints, etc

The book Concepts, Techniques, and Models off Computer Programming (MIT Near, 2004) uses OZ as principal language to illustrate the various concepts of programming. There exist university courses of programming in French based on OZ and this book.

This language was developed by three schools:

catholic University of Leuwen (UCL - Belgium)
Universität of Saarlandes (Germany)
Swedish Institute off Computer Science (Sweden)

Note: the origin of name OZ comes from the famous tale for children the magician of OZ.

External bonds

Mozart Programming System (Mozart-oz.org)

Random links: