Applications of partial evaluation.

[39] reports on experiments investigating whether control flow analysis can be optimized by partially evaluating the analyzer. So far the results have been negative, except that the residual program pinpointed a serious source of inefficiency, leading to the (re)invention of an incremental version of the analyzer.

[32] exposes how one by partial evaluation of a single generic string matching algorithm can achieve the effect of the Knuth & Morris & Pratt string matcher, as well as the effect of (several variants of) the Boyer & Moore string matcher. This has been known for at least a decade, when similar results were made public by the authors (together and independently); the primary goal of this paper is thus to summarize the findings and put them into perspective.