Expressiveness and static analysis of extended conjunctive regular path queries.

Dominik D. Freydenberger Nicole Schweikardt

Published in: J. Comput. Syst. Sci. (2013)

Keyphrases

static analysis
dynamic analysis
regular expressions
conjunctive regular path queries
source code
expressive power
regular path queries
symbolic execution
abstract interpretation
database
expert systems
databases
case study
knowledge representation
first order logic