An SMT Solver for Regular Expressions and Linear Arithmetic over String Length.
Murphy BerzishMitja KulczynskiFederico MoraFlorin ManeaJoel D. DayDirk NowotkaVijay GaneshPublished in: CAV (2) (2021)
Keyphrases
- regular expressions
- pattern matching
- query language
- finite automata
- semistructured data
- xml schema
- bit parallel
- string matching
- matching algorithm
- tree automata
- deterministic finite automata
- regular languages
- regular path queries
- context free grammars
- query evaluation
- co occurrence
- expressive power
- graph databases
- xml documents