Sciweavers

134 search results - page 4 / 27
» Automata for XML - A survey
Sort
View
JAPLL
2010
124views more  JAPLL 2010»
13 years 6 months ago
Reasoning about XML with temporal logics and automata
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
Leonid Libkin, Cristina Sirangelo
ADC
2004
Springer
103views Database» more  ADC 2004»
14 years 28 days ago
Optimizing The Lazy DFA Approach for XML Stream Processing
Lazy DFA (Deterministic Finite Automata) approach has been recently proposed to for efficient XML stream data processing. This paper discusses the drawbacks of the approach, sugge...
Danny Z. Chen, Raymond K. Wong
FMCO
2006
Springer
107views Formal Methods» more  FMCO 2006»
13 years 11 months ago
Learning Meets Verification
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...
Martin Leucker
CSR
2007
Springer
14 years 1 months ago
Marrying Words and Trees
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
Rajeev Alur
PEPM
2007
ACM
14 years 1 months ago
XML graphs in program analysis
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
Anders Møller, Michael I. Schwartzbach