Sciweavers

PLANX
2008
14 years 2 months ago
XML Stream Processing Using a Lazy Concurrent Language
Motivated by previous work on XML stream processing, we noticed that programmers need concurrency to save space, especially in a lazy language. User-controllable concurrency provi...
Shin-Cheng Mu, Ta-Chung Tsai, Keisuke Nakano
PLANX
2008
14 years 2 months ago
Static Analysis for Event-Based XML Processing
Event-based processing of XML data
Anders Møller
PLANX
2008
14 years 2 months ago
XML Type Checking for Macro Tree Transducers with Holes
Macro forest transducers (mfts) extend macro tree transducers (mtts) from ranked to unranked trees. Mfts are more powerful than mtts (operating on binary tree encodings) because t...
Sebastian Maneth, Keisuke Nakano
PLANX
2008
14 years 2 months ago
Multi-Return Macro Tree Transducers
Kazuhiro Inaba, Haruo Hosoya
PLANX
2008
14 years 2 months ago
Linear Time Membership for a Class of XML Types with Interleaving and Counting
Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this contex...
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
PLANX
2008
14 years 2 months ago
Complexity of Earliest Query Answering with Streaming Tree Automata
We investigate the complexity of earliest query answering for n-ary node selection queries defined by streaming tree automata (STAs). We elaborate an algorithm that selects query ...
Olivier Gauwin, Anne-Cécile Caron, Joachim ...
PLANX
2008
14 years 2 months ago
DOM: Towards a Formal Specification
We present an initial attempt at providing a formal specification for a mini
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse...