A Length-aware Regular Expression SMT Solver.

Murphy Berzish Mitja Kulczynski Federico Mora Florin Manea Joel D. Day Dirk Nowotka Vijay Ganesh

Published in: CoRR (2020)

Keyphrases

regular expressions
pattern matching
finite automata
query language
semistructured data
xml schema
cost model
query evaluation
deterministic finite automata
string matching
matching algorithm
static analysis
regular path queries
databases
building blocks
keywords
approximate matching