On the basis of regular tree grammars, we present a formal framework for XML schema
languages. This framework helps to describe, compare, and implement such schema …

XDuce is a statically typed programming language for XML processing. Its basic data values
are XML documents, and its types (so-called regular expression types) directly correspond …

We present the functional language CDuce, discuss some design issues, and show its
adequacy for working with XML documents. Distinctive features of CDuce are a powerful …

Access control policies for XML typically use regular path expressions such as XPath for
specifying the objects for access-control policies. However such access-control policies are …

Regular types have been proposed as a foundation for statically typed processing of XML
and other forms of tree-structured data. To date, however, regular types have only been …

In this paper, we offer an alternative vision for domain driven development (3D). Our
approach is model driven and emphasizes the use of generic and specific domain oriented …

It is shown that a particularly large mesonic exchange effect is to be expected for the two
inverse processes muon-capture and β-decay concerning the transitions between the 16O …

We survey work on statically type checking XML transformations, covering a wide range of
notations and ambitions. The concept of type may vary from idealizations of DTD to full …

In an evolving software system, components must be able to change independently while
remaining compatible with their peers. One obstacle to independent evolution is the brittle …

XML schemas are computer languages defining grammars for XML (Extensible Markup
Languages) documents. Containment checking for XML schemas has many applications …