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

TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library