Export Citations
1 Results for: Book/Issue: ASIA-PEPM '02: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,790,162 records)|Limit your search to The ACM Full-Text Collection (766,447 records)
Showing 1 - 1of1 Results
Select All
- ArticleSeptember 2002
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation
ASIA-PEPM '02: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulationPages 32–46https://doi.org/10.1145/568173.568177We present the first formal proof that partial evaluation of a quadratic string matcher can yield the precise behaviour of Knuth, Morris, and Pratt's linear string matcher.Obtaining a KMP-like string matcher is a canonical example of partial evaluation: ...