Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde. On obtaining Knuth, Morris, and Pratt s string matcher by partial evaluation. In ASIA-PEPM. pages 32-46, 2002. [doi]
@inproceedings{AgerDR02,
title = {On obtaining Knuth, Morris, and Pratt s string matcher by partial evaluation},
author = {Mads Sig Ager and Olivier Danvy and Henning Korsholm Rohde},
year = {2002},
doi = {10.1145/568173.568177},
url = {http://doi.acm.org/10.1145/568173.568177},
tags = {partial evaluation},
researchr = {https://researchr.org/publication/AgerDR02},
cites = {0},
citedby = {0},
pages = {32-46},
booktitle = {ASIA-PEPM},
}