Zum Inhalt springen
L

Wikipedia · einfach zusammengefasst · Stand

Oz (Programmiersprache)

Oz ist eine multiparadigmatische Programmiersprache, die mitunter deklarative, objektorientierte, parallele Programmierung sowie Constraintprogrammierung …

Inhalt4 Abschnitte
  1. 1. Überblick über Oz
  2. 2. Mozart als Oz-Implementierung
  3. 3. Nutzung, Lizenz und Erweiterungen
  4. 4. Entwicklungsunterstützung

Überblick über Oz

Oz ist eine multiparadigmatische Programmiersprache aus dem Jahr 1991. Sie verbindet logische, funktionale, imperative, objektorientierte, constraint-basierte, verteilte und nebenläufige Programmierung. Dadurch können unterschiedliche Programmieransätze innerhalb einer Sprache eingesetzt werden: deklarative Programmierung beschreibt vor allem das gewünschte Ergebnis, während imperative Programmierung Arbeitsschritte vorgibt; Constraintprogrammierung arbeitet mit Bedingungen, die Lösungen erfüllen müssen.

Oz ist dynamisch typisiert, das heißt, die Typen von Werten werden zur Laufzeit behandelt. Die Sprache wurde von Gert Smolka entworfen; wichtige Einflüsse waren Erlang, Lisp und Prolog. Als wichtige Implementierung wird das Mozart Programming System genannt. Die aktuelle Version ist 2.0.1 vom 5. September 2018. Oz beeinflusste Alice.

Mozart als Oz-Implementierung

Mozart (The Mozart Programming System) ist vermutlich die einzige Implementierung von Oz. Die Entwicklung begann Anfang der 1990er Jahre als DFKI Oz durch den Informatikprofessor Gert Smolka und seine Forschungsgruppe an der Universität des Saarlandes.

1999 übernahm das Mozart Consortium das Projekt. Es bestand aus der Universität des Saarlandes, dem Swedish Institute of Computer Science (SICS) und der belgischen Katholischen Universität Löwen. Seit 2005 liegt die Verantwortung beim Mozart Board, das sich aus verschiedenen internationalen Forschungseinrichtungen zusammensetzt.

Nutzung, Lizenz und Erweiterungen

Mozart läuft unter GNU/Linux, Mac OS X und Microsoft Windows bis Vista. Debian, Ubuntu und Gentoo stellen Mozart teilweise direkt über ihre offiziellen Paketquellen bereit.

Mozart ist freie Software und steht unter der Mozart License, die der X11-Lizenz ähnelt. Die Mozart Global User Library (MOGUL) ist ein Repository für von der Gemeinschaft hochgeladene Mozart-Pakete. Einige wichtige Pakete fehlen dort jedoch, etwa Strasheela, ein constraint-basiertes Musikkomponiersystem.

Entwicklungsunterstützung

Das Oz Programming Interface (OPI) soll die Arbeit mit dem Mozart-Entwicklungssystem erleichtern. Es besteht im Wesentlichen aus einem Mode für GNU Emacs und XEmacs. Dieser integriert den Mozart-Compiler und die Mozart-Engine in den Editor. Dadurch lassen sich Quelltext oder einzelne Teile schnell kompilieren und bei Fehlern untersuchen.

Weiterlesen

Programmierparadigma Grundlegend für den Entwurf von Programmiersprachen sind die Paradigmen der imperativen und der deklarativen Programmierung. Beim letzteren sind als wichtige … Logische Programmierung Die Lösungsmethode gibt vor, wie die Inferenzmaschine die Regeln interpretiert, um die Frage zu beantworten. In Prolog wird eine Tiefensuche (engl. depth … Funktionale Programmierung Funktionale Programmierung ist ein Programmierparadigma, in dem Funktionen nicht nur definiert und angewendet werden können, sondern auch wie Daten … Imperative Programmierung Imperative Programmierung (lateinisch imperare ‚anordnen', ‚befehlen') ist ein Programmierparadigma, nach dem „ein Programm aus einer Folge von Anweisungen … Objektorientierte Programmierung Die objektorientierte Programmierung (kurz OOP) ist ein auf dem Konzept der Objektorientierung basierendes Programmierparadigma. Die Grundidee besteht darin … Parallele Programmierung Es umfasst zum einen Methoden, ein Computerprogramm in einzelne Teilstücke aufzuteilen, die nebenläufig ausgeführt werden können, zum anderen Methoden, … Prolog (Programmiersprache) Prolog (vom Französischen: programmation en logique, deutsch: „Programmieren in Logik“) ist eine Programmiersprache, die Anfang der 1970er Jahre maßgeblich … Programmiersprache Bei deklarativen Programmiersprachen ist der Ausführungsalgorithmus schon vorab festgelegt und wird nicht im Quelltext ausformuliert/beschrieben, sondern es … Deklarative Programmierung Die deklarative Programmierung ist ein Programmierparadigma, bei dem die Beschreibung des Problems im Vordergrund steht. Der Lösungsweg wird dann … Microsoft Windows Microsoft Windows (englische Aussprache [ˈmaɪ.kɹoʊ.sɒft ˈwɪn.doʊz]) bzw. Windows ist eine Reihe proprietärer grafischer Betriebssystemfamilien von Microsoft … Compiler Ein Übersetzer zur Übertragung von Assembler-Quellprogrammen in Maschinensprache wird als Assembler oder Assemblierer bezeichnet. Geschichte. Bearbeiten. Quelltext Quelltext, auch Quellcode (englisch source code) oder unscharf Programmcode genannt, ist in der Informatik der für Menschen lesbare, in einer …