XupIn - XML query-update independence tester
Date de dernière version : 01 janvier 2013

Responsable : COLAZZO Dario


XUpIn is a static analyzer designed for detecting XML query update independence, in presence of a schema. It has been inspired by experienced research on type systems for XML languages. The resulting method features solid formal foundation, high precision, efficiency and scalability.



Logiciel



Activités de recherche

Membres
  BIDOIT Nicole
  COLAZZO Dario
  ULLIANA Federico

Equipe
  Données et Connaissances Massives et Hétérogènes

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAGE-COMBINAT
Améliorer les fonctionnalités combinatoires de Sage

PINT
Static analyzer for dynamics of Automata Networks