Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms.

Manuel Hernndez, David A. Rosenblueth

Browse the full PPDP paper archive.