Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching.

Neil Mitchell Colin Runciman

Published in: Haskell (2008)

Keyphrases

pattern matching
pattern matching algorithm
string matching
regular expressions
matching process
tree matching
pattern mining
image processing
temporal patterns
information retrieval
bit parallel
boyer moore