FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.
Margarida FerreiraMiguel Terra-NevesMiguel VenturaInês LynceRuben MartinsPublished in: TACAS (1) (2021)
Keyphrases
- regular expressions
- tree automata
- pattern matching
- finite automata
- semistructured data
- query language
- path expressions
- xml schema
- deterministic finite automata
- bit parallel
- monadic second order logic
- regular path queries
- query evaluation
- matching algorithm
- tree structure
- database
- data management
- graph databases
- regular languages
- low level