Google
 
   
Login
Username:

Password:


Lost Password?

Register now!
Search

Advanced Search
Main Menu
top books
Polls
What do you think about php-deluxe.net?
Excellent!
Cool
Hmm..not bad
What the hell is this?
encyclopedia
World of Phaos
Self-Monitoring,...
Binary operation
Iwasawa theory
Default route
Dramatist
Function-level...
recommendation
compare webbrowser
Freenet DSL
Who's Online
10 user(s) are online (10 user(s) are browsing encyclopedia)

Members: 0
Guests: 10

more...
browser tip
Unix Befehle
manual of unix befehle
recommendation!
Sponsored
partner

Oz programming language

Oz is a multi-paradigm programming language.

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 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.

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.

=Language features=

Oz contains in a simple and well-factored way most of the concepts of the major programming paradigms, including logic programming, functional programming (both lazy evaluation and eager evaluation), imperative programming, object oriented programming, Constraint programming, Distributed programming, and concurrent programming language 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 (computer science) language, as the term was introduced by Joe Armstrong, the main designer of the Erlang programming language. A concurrency-oriented language makes Concurrency (computer science) both easy to use and efficient.

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#Derived_meanings to the constraint domain.

=References=

  • Peter van Roy (2004). Concepts, Techniques, and Models of Computer Programming . MIT Press. There is [http://www2.info.ucl.ac.be/people/PVR/book.html online supporting material] for this book. The book is an introduction to the principles of programming languages that uses Oz as it s preferred idiom for examples.

    • =External links=

  • [http://www.mozart-oz.org/documentation/tutorial/ Tutorial of Oz]
  • [http://www.mozart-oz.org/ The Mozart Programming System] Official website
  • [http://dmoz.org/Computers/Programming/Languages/Oz/ Open Directory: Oz]
  • [http://www.informatik.uni-trier.de/~ley/db/conf/moz/moz2004.html Multiparadigm Programming in Mozart/Oz: Proceedings of MOZ 2004 ]: Conference that gives a snapshot of the work being done with Mozart/Oz
    		•