• Publications
  • Influence
An Overview of the Scala Programming Language
TLDR
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
TLDR
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
TLDR
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
TLDR
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.
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
TLDR
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.
...
...