Twinning automata and regular expressions for string static analysis.
Luca NegriniVincenzo ArceriPietro FerraraAgostino CortesiPublished in: CoRR (2020)
Keyphrases
- regular expressions
- static analysis
- dynamic analysis
- pattern matching
- finite automata
- tree automata
- semistructured data
- query language
- string matching
- regular languages
- xml schema
- regular path queries
- query evaluation
- context free grammars
- deterministic finite automata
- finite state machines
- data mining
- databases
- graph databases
- integrity constraints
- object oriented
- high level