Henning Korsholm Rohde:
Formal Aspects of Polyvariant Specialization.
Technical report BRICS-RS-05-34, University of Aarhus, Denmark (November 2005).
Abstract
We present the first formal correctness proof of an offline
polyvariant specialization algorithm for first-order recursive
equations. As a corollary, we show that the specialization algorithm
generates a program implementing the search phase of the
Knuth-Morris-Pratt algorithm from an inefficient but
binding-time-improved string matcher
|
|
[dvi,ps,pdf]
|