Author pages are created from data sourced from our academic publisher partnerships and public sources.
Share This Author
An Overview of the Scala Programming Language
This paper gives an overview of the Scala language for readers who are familar with programming methods and programming language design.
Efficient Memory Representation of XML Documents
A technique is presented that allows to represent the tree structure of an XML document in an efficient way by “compressing” their tree structure, which allows to directly execute queries without prior decompression.
Formalizing XML access control for update operations
XACU, a language for specifying access control on XML data in the presence of update operations, is proposed and a formal access control model is defined which allows to study properties of XACU access policies.
XML type checking with macro tree transducers
It is proved that TL -- and thus in particular DTL - despite their expressiveness still allow for effective inverse type inference and is obtained by means of a translation of TL programs into compositions of top-down finite state tree transductions with parameters, also called (stay) macro tree transducers.
Efficient memory representation of XML document trees
Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations
A characterization is given of the class of tree translations definable in monadic second-order logic (MSO), in terms of macro tree transducers. The first main result is that the MSO definable tree…
Exact XML Type Checking in Polynomial Time
This work presents a new adaptive type checking algorithm based on forward type inference through exact characterizations of output languages that correctly type-checks all call-by-value smtts.
XML tree structure compression using RePair
Deciding equivalence of top-down XML transformations in polynomial time