On obtaining the Boyer-Moore string-matching algorithm by partial evaluation.
Olivier DanvyHenning Korsholm RohdePublished in: Inf. Process. Lett. (2006)
Keyphrases
- matching algorithm
- partial evaluation
- boyer moore
- pattern matching
- regular expressions
- explanation based generalization
- string matching
- pattern matching algorithm
- matching process
- image matching
- template matching
- matching strategy
- sliding window
- graph matching
- point matching
- hausdorff distance
- suffix tree
- voting scheme
- search algorithm
- partial matching
- edit distance
- shape matching
- fingerprint matching
- domain theory
- support vector