The Abstraction and Instantiation of String-Matching Programs

<p>We consider a naive, quadratic string matcher testing whether a <br />pattern occurs in a text; we equip it with a cache mediating its access to the<br />text; and we abstract the traversal policy of the pattern, the cache, and<br />the text. We then specialize this abstracted program with respec... View More