Home -> Logics for XML: Reasoning about Trees Download
Logics for XML: Reasoning about Trees
Pierre Geneves
[PDF.oz95] Logics for XML: Reasoning about Trees
Logics for XML: Reasoning Pierre Geneves epub Logics for XML: Reasoning Pierre Geneves pdf download Logics for XML: Reasoning Pierre Geneves pdf file Logics for XML: Reasoning Pierre Geneves audiobook Logics for XML: Reasoning Pierre Geneves book review Logics for XML: Reasoning Pierre Geneves summary
| #15824253 in Books | 2009-09-23 | Original language:English | 8.66 x.23 x5.91l, | File type: PDF | 100 pages||About the Author|Pierre is now research scientist at CNRS in France. He previously conducted research at Ecole Polytechnique Federale de Lausanne and IBM T.J. Watson Research Center. Pierre received several awards for the present work: the EADS best Ph.D. thesis
This work describes the theoretical and practical foundations of a system for the static analysis of XML processing languages. The system relies on a fixpoint modal logic with converse where models are finite trees. This calculus is expressive enough to capture regular tree types along with multi-directional navigation in trees. The decidability of the logic is proved in time 2^O(n) where n is the size of the input formula. XPath expressions and XML schemas are linearly...
You easily download any file type for your gadget.Logics for XML: Reasoning about Trees | Pierre Geneves. I was recommended this book by a dear friend of mine.
