|
|
|
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 |
|
|
CODALABopen source framework for running competitions DNADNADeep Neural Architectures for DNA CARTOLABECARTOLABE
|
|
|
|
|
