Efficient Automata-Driven Pattern-Matching for Equational Programs.

Nadia Nedjah Colin D. Walter Stephen E. Eldridge

Published in: Softw. Pract. Exp. (1999)

Keyphrases

pattern matching
boyer moore
regular expressions
tree matching
matching process
string matching
pattern matching algorithm
approximate pattern matching
theorem prover
data sets
relational databases
data model
information retrieval systems
matching strategy
compressed pattern matching