ReGiS: Regular Expression Simplification via Rewrite-Guided Synthesis.

Miles Claver Jordan Schmerge Jackson Garner Jake Vossen Jedidiah McClurg

Published in: CoRR (2021)

Keyphrases

regular expressions
pattern matching
query language
finite automata
semistructured data
matching algorithm
xml schema
static analysis
deterministic finite automata
string matching
cost model
database
data sets
query evaluation
rdf data