XML Static Analyzer User Manual

Details XML Static Analyzer User Manual XML Static Analyzer User Manual

2008-12-18

arxiv.org/abs/0812.3550v1

Computer Science

Programming Languages

Scientific paper

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 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.

Affiliated with

Also associated with

No associations

Rating

XML Static Analyzer User Manual does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with XML Static Analyzer User Manual, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and XML Static Analyzer User Manual will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-173485