Olivier Danvy, Henning Korsholm Rohde. On obtaining the Boyer-Moore string-matching algorithm by partial evaluation. Inf. Process. Lett., 99(4):158-162, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.