Fast partial evaluation of pattern matching in strings.
Mads Sig AgerOlivier DanvyHenning Korsholm RohdePublished in: ACM Trans. Program. Lang. Syst. (2006)
Keyphrases
- pattern matching
- partial evaluation
- string matching
- explanation based generalization
- hamming distance
- approximate string matching
- suffix array
- regular expressions
- pattern matching algorithm
- edit distance
- matching process
- xpath queries
- domain theory
- graph matching
- approximate pattern matching
- suffix tree
- boyer moore
- data model
- higher order