Proving correctness of regular expression accelerators.
Mitra PurandareKubilay AtasuChristoph HagleitnerPublished in: DAC (2012)
Keyphrases
- regular expressions
- pattern matching
- finite automata
- query language
- semistructured data
- string matching
- matching algorithm
- xml schema
- cost model
- regular path queries
- computing systems
- query evaluation
- static analysis
- semistructured databases
- deterministic finite automata
- path expressions
- approximate matching
- low level
- data sets