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
SMARTIES
The Smarties Input System

PINT
Static analyzer for dynamics of Automata Networks

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes