The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems.

Richard Kennaway

Published in: ESOP (1990)

Keyphrases

pattern matching
term rewrite systems
regular expressions
matching process
pattern matching algorithm
boyer moore
string matching
tree matching
compressed text
rewrite rules
approximate pattern matching
response time
bit parallel