Skip to content
◈ALB Atlas

Oz Dormant

Oz
KindProgramming language
Appeared1995
StatusDormant
CreatorGert Smolka / DFKI Saarbrücken
Also known asMozart

The multi-paradigm laboratory — concurrent, constraint, functional, and distributed in one coherent model; the Mozart system still runs it.

Created by Gert Smolka

Gert Smolka's Oz (1995) — the multi-paradigm language — merged constraint, logic, functional, imperative, and concurrent programming into one coherent whole, designed to teach programming.\n\nCTM (Concepts, Techniques, and Models) is its book; Mozart is its implementation. It is arguably the most complete language-design education ever shipped.