Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
On obtaining Knuth, Morris, and Pratt’s string matcher by partial evaluation
PEPM, 2002.
@inproceedings{ASIA-PEPM-2002-AgerDR,
author = "Mads Sig Ager and Olivier Danvy and Henning Korsholm Rohde",
booktitle = "{Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation}",
doi = "10.1145/568173.568177",
isbn = "1-58113-458-4",
pages = "32--46",
publisher = "{ACM}",
title = "{On obtaining Knuth, Morris, and Pratt’s string matcher by partial evaluation}",
year = 2002,
}