How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract).

Alberto Pettorossi, Maurizio Proietti, Sophie Renault

Browse the full ICLP paper archive.