Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel CDuce


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

Logiciels et brevets
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library