HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars.
Adam KiezunVijay GaneshShay ArtziPhilip J. GuoPieter HooimeijerMichael D. ErnstPublished in: ACM Trans. Softw. Eng. Methodol. (2012)
Keyphrases
- regular expressions
- context free grammars
- string matching
- context free languages
- regular languages
- bit parallel
- finite automata
- pattern matching
- grammar induction
- query language
- xml schema
- context free
- grammatical inference
- tree automata
- co occurrence
- matching algorithm
- query evaluation
- xml data
- finite state machines
- data mining
- natural language