CDuce est un langage de programmation fonctionnel, d'ordre supérieur, fortement typé, adapté à la manipulation sûre et efficace de documents XML. Une opération de filtrage par motifs permet d'exprimer de manière concise des extractions de données complexes, et le système de types garantit que tous les documents valides en entrée seront traités de manière exhaustive, et qu'aucun document invalide en sortie ne pourra être produit. Le projet vise à intégrer CDuce dans le langage généraliste OCaml.

Property Value
dbo:abstract
  • CDuce est un langage de programmation fonctionnel, d'ordre supérieur, fortement typé, adapté à la manipulation sûre et efficace de documents XML. Une opération de filtrage par motifs permet d'exprimer de manière concise des extractions de données complexes, et le système de types garantit que tous les documents valides en entrée seront traités de manière exhaustive, et qu'aucun document invalide en sortie ne pourra être produit. Le projet vise à intégrer CDuce dans le langage généraliste OCaml. (fr)
  • CDuce est un langage de programmation fonctionnel, d'ordre supérieur, fortement typé, adapté à la manipulation sûre et efficace de documents XML. Une opération de filtrage par motifs permet d'exprimer de manière concise des extractions de données complexes, et le système de types garantit que tous les documents valides en entrée seront traités de manière exhaustive, et qu'aucun document invalide en sortie ne pourra être produit. Le projet vise à intégrer CDuce dans le langage généraliste OCaml. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 351987 (xsd:integer)
dbo:wikiPageLength
  • 796 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 128790011 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • CDuce est un langage de programmation fonctionnel, d'ordre supérieur, fortement typé, adapté à la manipulation sûre et efficace de documents XML. Une opération de filtrage par motifs permet d'exprimer de manière concise des extractions de données complexes, et le système de types garantit que tous les documents valides en entrée seront traités de manière exhaustive, et qu'aucun document invalide en sortie ne pourra être produit. Le projet vise à intégrer CDuce dans le langage généraliste OCaml. (fr)
  • CDuce est un langage de programmation fonctionnel, d'ordre supérieur, fortement typé, adapté à la manipulation sûre et efficace de documents XML. Une opération de filtrage par motifs permet d'exprimer de manière concise des extractions de données complexes, et le système de types garantit que tous les documents valides en entrée seront traités de manière exhaustive, et qu'aucun document invalide en sortie ne pourra être produit. Le projet vise à intégrer CDuce dans le langage généraliste OCaml. (fr)
rdfs:label
  • CDuce (fr)
  • CDuce (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of