On obtaining the Boyer-Moore string-matching algorithm by partial evaluation