CDuce - CDuce an XML centric Functional Programmimg Language
Date de dépôt : 01 janvier 1970

Responsable : BENZAKEN Véronique


CDuce est un langage de programmation pour XML développé initialement par l'équipe ``Langages'' du Laboratoire d'Informatique de l'ENS puis le Laboratoire P.P.S le projet Gallium de ÚINRIA et l'équipe ``Bases de Données'' du LRI. Parmi ses caractéristiques principales on peut citer, un système de types puissant (ordre supérieur, intersection, union, néations, surcharge,...), l'intégration des standards W3C (XML, Unicode, namespaces, XML Schema, DTD, ...) un langage de patterns très expressif (expressions régulières de types, capture de sous-séquences d'éléments non-consécutifs,...) et un "runtime" innovant (compilation ``just-in-time'' des patterns, automates d'arbres ``non-uniformes'',...).

Pour en savoir plus: http://www.cduce.org

Logiciel - Licence : MIT



Activités de recherche
  Programmation fonctionnelle
  Théorie des types
  Langages d'ordre supérieur
  XML
  Langages et systèmes centrés données
  Langages et systèmes centrés données

Membres
  BENZAKEN Véronique
  NGUYEN Kim

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

BSP++
The C++ Bulk Synchronous Parallelism Library

TAXOMAP ALIGNMENT
Un outil d'alignement de taxonomies

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé