EDBTW
2004
Springer
14 years 1 months ago
2004
Springer
While there are many proposals for path indexes on XML documents, none of them is perfectly suited for indexing large-scale collections of interlinked XML documents. Existing strat...
EDBTW
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes XPeer, a zero-administration system for sharing and querying XML data. The system allows users to share XML data without significant human intervention, and t...
EDBTW
2004
Springer
14 years 1 months ago
2004
Springer
—Over the past few years, XML (eXtensible Mark-up Language) has emerged as the standard for information representation and data exchange over the Internet. This paper provides a ...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...