2 citations · 3 across the 14 of their papers we have counts for
Showing 2008Show all
3 papers · 1 filter
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…
cs.PL2008
Logics for XML
Pierre Geneves
This thesis describes the theoretical and practical foundations of a system for the static analysis of XML processing languages. The system relies on a fixpoint temporal logic with…