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]
@article{DanvyR06,
title = {On obtaining the Boyer-Moore string-matching algorithm by partial evaluation},
author = {Olivier Danvy and Henning Korsholm Rohde},
year = {2006},
doi = {10.1016/j.ipl.2006.04.001},
url = {http://dx.doi.org/10.1016/j.ipl.2006.04.001},
tags = {partial evaluation},
researchr = {https://researchr.org/publication/DanvyR06},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {99},
number = {4},
pages = {158-162},
}