Login / Signup
Expressiveness and Static Analysis of Extended Conjunctive Regular Path Queries.
Dominik D. Freydenberger
Nicole Schweikardt
Published in:
AMW (2011)
Keyphrases
</>
static analysis
dynamic analysis
regular expressions
conjunctive regular path queries
source code
symbolic execution
regular path queries
abstract interpretation
expressive power
data sets
artificial intelligence
query processing
object oriented
conjunctive queries
test suite