Login / Signup
Adding Updates to XQuery: Semantics, Optimization, and Static Analysis.
Michael Benedikt
Angela Bonifati
Sergio Flesca
Avinash Vyas
Published in:
XIME-P (2005)
Keyphrases
</>
static analysis
dynamic analysis
source code
update operations
symbolic execution
java card
regular expressions
update semantics
malicious code
test generation
abstract interpretation
query language
data dependencies
xml data
database
semantic information
xml documents
real world
data sets