25/10/2001: Jérôme Vouillon (PPS)
XDuce, un langage typé pour XML
Résumé
XDuce est un langage fortement typé destiné à la manipulation de
documents XML. Les types de XDuce sont des expressions rationnelles
d'arbres, généralisation naturelle des DTD. Une relation de
sous-typage très puissante est définie sur ces types, tout
simplement comme la relation d'inclusion des dénotations des types.
Une autre caractéristique propre à Xduce est le filtrage par motifs
(à la ML) où les motifs sont des expressions rationnelles.