On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation.

Mads Sig Ager Olivier Danvy Henning Korsholm Rohde

Published in: ASIA-PEPM (2002)

Keyphrases

partial evaluation
explanation based generalization
data structure
pattern matching
databases
matching algorithm
edit distance
domain theory
regular expressions
artificial intelligence
search engine
higher order
logic programming
biometric systems
xpath queries