154 search results - page 9 / 31 » Extending xQuery with transformation operators |
113
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
111
Voted
DATESO
2004
15 years 1 months ago
2004
Discovering the complex relationships between entities is one way of benefitting from the Semantic Web. This paper discusses new approaches to implementing -operators into RDF quer...
110
click to vote
SPIN
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
119
Voted
ACTA
2005
15 years 11 days ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
AI
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...