Property Value
dbo:abstract
  • OCaml, anciennement connu sous le nom d'Objective Caml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, , , et leurs collaborateurs en 1996. Ce langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par l'Inria. OCaml est le successeur de Caml Light, auquel il a ajouté entre autres une couche de programmation objet. L'acronyme CAML provient de Categorical Abstract Machine Language, un modèle de machine abstraite qui n'est cependant plus utilisé dans les versions récentes de OCaml. Portable et performant, OCaml est utilisé dans des projets aussi divers que le logiciel de synchronisation de fichiers Unison, l'assistant de preuves formelles Coq ou la version Web de Facebook Messenger. Les facilités de traitement symbolique du langage permettent le développement d'outils de vérification statique, comme le projet SLAM pour des pilotes Windows écrits par Microsoft, ou ASTRÉE pour certains systèmes embarqués des Airbus A380. (fr)
  • OCaml, anciennement connu sous le nom d'Objective Caml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, , , et leurs collaborateurs en 1996. Ce langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par l'Inria. OCaml est le successeur de Caml Light, auquel il a ajouté entre autres une couche de programmation objet. L'acronyme CAML provient de Categorical Abstract Machine Language, un modèle de machine abstraite qui n'est cependant plus utilisé dans les versions récentes de OCaml. Portable et performant, OCaml est utilisé dans des projets aussi divers que le logiciel de synchronisation de fichiers Unison, l'assistant de preuves formelles Coq ou la version Web de Facebook Messenger. Les facilités de traitement symbolique du langage permettent le développement d'outils de vérification statique, comme le projet SLAM pour des pilotes Windows écrits par Microsoft, ou ASTRÉE pour certains systèmes embarqués des Airbus A380. (fr)
dbo:designer
dbo:developer
dbo:influenced
dbo:influencedBy
dbo:license
dbo:namedAfter
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 25478 (xsd:integer)
dbo:wikiPageLength
  • 47469 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 189503555 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:aInfluencé
prop-fr:b
  • OCaml (fr)
  • OCaml (fr)
prop-fr:commons
  • Category:OCaml (fr)
  • Category:OCaml (fr)
prop-fr:couleurBoîte
  • F28B02 (fr)
  • F28B02 (fr)
prop-fr:dateDeDernièreVersion
  • 2021-02-24 (xsd:date)
prop-fr:dateDePremièreVersion
  • 1987 (xsd:integer)
prop-fr:dernièreVersion
  • 4.120000 (xsd:double)
prop-fr:dialectes
  • JoCaml, Fresh OCaml, GCaml, MetaOCaml, OCamlDuce, OcamlP3L (fr)
  • JoCaml, Fresh OCaml, GCaml, MetaOCaml, OCamlDuce, OcamlP3L (fr)
prop-fr:développeur
prop-fr:influencéPar
prop-fr:licence
  • LGPL 2.1 (fr)
  • LGPL 2.1 (fr)
prop-fr:logo
  • OCaml Logo.svg (fr)
  • OCaml Logo.svg (fr)
prop-fr:paradigme
prop-fr:siteWeb
prop-fr:systèmeD'exploitation
prop-fr:typage
prop-fr:wikiPageUsesTemplate
prop-fr:wikiversity
  • OCaml (fr)
  • OCaml (fr)
dct:subject
rdf:type
rdfs:comment
  • OCaml, anciennement connu sous le nom d'Objective Caml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, , , et leurs collaborateurs en 1996. Ce langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par l'Inria. OCaml est le successeur de Caml Light, auquel il a ajouté entre autres une couche de programmation objet. L'acronyme CAML provient de Categorical Abstract Machine Language, un modèle de machine abstraite qui n'est cependant plus utilisé dans les versions récentes de OCaml. (fr)
  • OCaml, anciennement connu sous le nom d'Objective Caml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, , , et leurs collaborateurs en 1996. Ce langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par l'Inria. OCaml est le successeur de Caml Light, auquel il a ajouté entre autres une couche de programmation objet. L'acronyme CAML provient de Categorical Abstract Machine Language, un modèle de machine abstraite qui n'est cependant plus utilisé dans les versions récentes de OCaml. (fr)
rdfs:label
  • OCaml (fr)
  • OCaml (ca)
  • OCaml (it)
  • OCaml (ja)
  • OCaml (pl)
  • Objective Caml (uk)
  • OCaml (fr)
  • OCaml (ca)
  • OCaml (it)
  • OCaml (ja)
  • OCaml (pl)
  • Objective Caml (uk)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:homepage
foaf:isPrimaryTopicOf
foaf:page
is dbo:influencedBy of
is dbo:programmingLanguage of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-fr:influencéPar of
is prop-fr:langageClient of
is prop-fr:langageDeProgrammation of
is oa:hasTarget of
is foaf:primaryTopic of