|
Logiciel XupIn |
 |
 |
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
|
 |
|
 |
Logiciels et brevets |
 |
 |
TOUCHTOKENSLow-cost Solution for Tangible Interfaces LODATLASBrowsing Linked Data Catalogs with LODAtlas BOLDRQuery Intermediate Representation Library
|
 |
|
 |
|