XML Static Analyzer User Manual

Simple item page
dc.creatorGeneves, Pierre
dc.creatorLayaida, Nabil
dc.date2008-12-18
dc.date.accessioned2026-07-07T12:20:19Z
dc.date.available2026-07-07T12:20:19Z
dc.descriptionThis 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 automated verification of properties that are expressed as logical formulas over trees. A logical formula may for instance express structural constraints or navigation properties (like e.g. path existence and node selection) in finite trees. Logical formulas can be expressed using the syntax of XPath expressions, DTD, XML Schemas, and Relax NG definitions.
dc.identifierhttps://arxiv.org/abs/0812.3550
dc.identifierhttp://arxiv.org/abs/0812.3550
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/213035
dc.subjectProgramming Languages
dc.subjectDatabases
dc.subjectLogic in Computer Science
dc.subjectSoftware Engineering
dc.subjectD.3.0; D.3.1; D.3.4; E.1; F.3.1; F.3.2; F.4.1; F.4.3; H.2.3; I.2.4; I.7.2
dc.titleXML Static Analyzer User Manual
dc.typetext

Files

Collections

arXiv