586 search results - page 5 / 118 » Witnessing side effects |
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
72
Voted
DBPL
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Formal semantics for XQuery with side-effects have been proposed in [13, 16]. We propose a different semantics which is better suited for database compilation. We substan...
EDBTW
2006
Springer
15 years 1 months ago
2006
Springer
CC
2001
Springer
15 years 1 months ago
2001
Springer
Large programs are typically built from separate modules. Traditional whole-program analysis cannot be used in the context of such modular development. In this paper we consider an...
PPSN
2000
Springer
15 years 1 months ago
2000
Springer
Many bacteria carry gene complexes that code for a toxin-antidote pair, e.g. colicin systems. Such gene complexes can be advantageous for its host by killing competitor bacteria wh...