XupIn - XML query-update independence tester
Date of the last release: 01 January 2013
Person in charge :
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.
Software
Research activities
Members
BIDOIT Nicole COLAZZO Dario ULLIANA Federico
Group
Large-scale Heterogeneous DAta and Knowledge
