A generic algorithm for checking exhaustivity of pattern matching (short paper).

Published in: SCALA@SPLASH (2016)

Keyphrases

pattern matching
pattern matching algorithm
string matching
boyer moore
dynamic programming
tree matching
computational complexity
matching process
recognition algorithm
compressed pattern matching
databases
similarity measure