论文信息 - XML Reasoning Solver User Manual

XML Reasoning Solver User Manual

This manual provides documentation for using the logical solver introduced in [Genevès, 2006; Genevès et al., 2007]. Key-words: Static Analysis, Logic, Satisfiability Solver, XML, Schema, XPath, Queries ∗ CNRS in ria -0 03 39 18 4, v er si on 1 17 N ov 2 00 8 XML Reasoning Solver User Manual Résumé : Ce manuel documente l’utilisation du solveur logique décrit dans[Genevès, 2006; Genevès et al., 2007]. Mots-clés : Analyse Statique, Logique, Solveur, Satisfaisabilité, XML, Schema, Requêtes, XPath in ria -0 03 39 18 4, v er si on 1 17 N ov 2 00 8 XML Reasoning Solver User Manual 3

Pierre Genevès | Nabil Layaïda | Vojtech Knyttl

[1] Pierre Genevès,et al. Logics for XML , 2008, ArXiv.

[2] Diederich Hinrichsen,et al. Mathematical Systems Theory I , 2006, IEEE Transactions on Automatic Control.

[3] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[4] John Doner,et al. Tree Acceptors and Some of Their Applications , 1970, J. Comput. Syst. Sci..

[5] Steven J. DeRose,et al. XML Path Language (XPath) Version 1.0 , 1999 .

[6] Pierre Genevès,et al. Efficient static analysis of XML paths and types , 2007, PLDI '07.

[7] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic , 2008, 25 Years of Model Checking.

[8] Paul J. Walmsley,et al. XML Schema Part 0: Primer Second Edition , 2004 .

[9] James Clark,et al. XSL Transformations (XSLT) Version 1.0 , 1999 .