Type inference for unique pattern matching.

Stijn Vansummeren

Published in: ACM Trans. Program. Lang. Syst. (2006)

Keyphrases

pattern matching
matching process
string matching
regular expressions
tree matching
pattern matching algorithm
lossy compression
matching strategy
databases
bit parallel
image processing
computational complexity
suffix tree
boyer moore