2 papers
cs.PL2008
XML Static Analyzer User Manual
Pierre Geneves, Nabil Layaida
This document describes how to use the XML static analyzer in practice. It provides informal documentation for using the XML reasoning solver implementation. The solver allows auto…
cs.PL2008
Ensuring Query Compatibility with Evolving XML Schemas
Pierre Genevès, Nabil Layaïda, Vincent Quint
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validit…