Twinning Automata and Regular Expressions for String Static Analysis.
Luca NegriniVincenzo ArceriPietro FerraraAgostino CortesiPublished in: VMCAI (2021)
Keyphrases
- regular expressions
- static analysis
- pattern matching
- finite automata
- dynamic analysis
- tree automata
- query language
- semistructured data
- deterministic finite automata
- string matching
- xml schema
- regular path queries
- context free grammars
- regular languages
- matching algorithm
- finite state machines
- graph databases
- wordnet
- information extraction