CDuce - CDuce an XML centric Functional Programmimg Language
Date de dernière version : 10 février 2012

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

CODALAB
open source framework for running competitions

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE