Langage Oz


Langage Oz

Oz (langage)

Page d'aide sur l'homonymie Pour les articles homonymes, voir Oz.
Oz
Importez le logo de ce langage de programmation
Apparu en 1995
Auteurs Gert Smolka, Christian Schulte, Peter Van Roy
Développeurs auteurs et d'autres contributeurs
Dernière version stable 1.4.0 (le 3 juillet 2008)[+/−]
Paradigmes objet, impératif, concurrent, fonctionnel, logique, par contraintes, distribué
Typage Fort, dynamique
Influencé par Prolog, CC, AKL, Lisp
A influencé une extension pour la programmation logique et par contraintes, dans PyPy
Implémentations Mozart
Système d'exploitation Multi-plate-forme
Licences de type BSD
Site Web [1]

Oz est un langage de programmation permettant d'employer et de combiner différents paradigmes de programmation :

Oz fournit par défaut des variables logiques même s'il est possible d'utiliser des variables mutables. De même, l'évaluation est stricte par défaut, mais l'évaluation paresseuse est possible.

L'originalité de ce langage par rapport à d'autres supportant la programmation logique (d'une part) ou concurrente et distribuée (d'autre part, comme Erlang), est l'intégration de ces paradigmes dans un tout cohérent. Une abstraction unique en son genre est fournie par Oz : l'espace de calcul, qui permet d'encapsuler des calculs à des fins spéculatives et permet de combiner les aspects logiques/contraintes, orientation objet et mutabilité, concurrence et distribution, dans le même langage.

Oz est doté d'un ramasse-miettes et d'un système de gestion d'exceptions distribués.

Oz est implémenté par le système Mozart, fournissant un compilateur, une machine virtuelle et un environnement de développement utilisant EMACS pour la partie édition, un débogueur graphique supportant la concurrence et la distribution, un outil d'exploration d'arbres de recherche pour la programmation par contraintes, etc.

Le livre Concepts, Techniques, and Models of Computer Programming (MIT Press, 2004) utilise Oz comme langage principal pour illustrer les différents concepts de programmation. Il existe des cours universitaires de programmation en français basés sur Oz et ce livre.

Ce langage a été développé par trois écoles :

Remarque : l'origine du nom Oz vient du fameux conte pour enfants le magicien d'Oz.

Liens externes

  • Portail de l’informatique Portail de l’informatique
Ce document provient de « Oz (langage) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Langage Oz de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • langage — [ lɑ̃gaʒ ] n. m. • v. 1160; lengatge v. 980; de langue I ♦ 1 ♦ Fonction d expression de la pensée et de communication entre les hommes, mise en œuvre au moyen d un système de signes vocaux (parole) et éventuellement de signes graphiques… …   Encyclopédie Universelle

  • langage — Langage, Sermo, Oratio. Un bon langage, Pura oratio. Un langage commun et vulgaire, Proletarius, vel Plebeius sermo. Langage coulant, qui n a pas grand ornement, Teres oratio. Un langage coulant qui n est point lié par vers, Prosa. Un langage… …   Thresor de la langue françoyse

  • langage — Langage. s. m. Idiome. Langue que parle une Nation. Le langage des Turcs. le langage Persan. personne n entend ce langage. un langage Barbare. un langage inconnu. il entend la pureté du langage. On dit, que La Poësie est le langage des Dieux. Il… …   Dictionnaire de l'Académie française

  • Langage — (frz.) bezeichnet bei Ferdinand de Saussure einerseits die menschliche Rede als allgemeinen, vortheoretischen Oberbegriff zu langue (dem Regelsystem der Sprache) und parole (der Ausübung des Sprechens); andererseits und zur Unterscheidung… …   Deutsch Wikipedia

  • langage — langage, ed obs. forms of language, ed …   Useful english dictionary

  • Langage C — C (langage) Pour les articles homonymes, voir C. C …   Wikipédia en Français

  • Langage c — C (langage) Pour les articles homonymes, voir C. C …   Wikipédia en Français

  • langage — (lan ga j ) s. m. 1°   Proprement, emploi de la langue pour l expression des pensées et des sentiments. Recherches sur l origine du langage. •   Le langage est tellement ce qui perfectionne toutes les facultés de l âme que la perfection de ces… …   Dictionnaire de la Langue Française d'Émile Littré

  • LANGAGE — s. m. Emploi que l homme fait des sons et des articulations de la voix, pour exprimer ses pensées et ses sentiments. On a publié de nombreux écrits sur l origine du langage.   Il se dit, par extension, Des cris, du chant, etc., dont les animaux… …   Dictionnaire de l'Academie Francaise, 7eme edition (1835)

  • Langage —  Pour l’article homonyme, voir Langage humain.  Le langage est un ensemble de signes (vocaux, gestuel, graphiques, tactiles, olfactifs, etc.) doté d une sémantique, et le plus souvent d une syntaxe (mais ce n est pas systématique[1]).… …   Wikipédia en Français

  • Langage C++ — C++ Apparu en 1985 (dernière révision en 2003) Auteur Bjarne Stroustrup …   Wikipédia en Français


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.