Research ArticleOpen accessIn the keywordsSpecialization of Recursive Predicates from Positive Examples OnlyMoussa DembaProblem statement: Given an overly general (definite) program P and its intended semantics Φ (the programmer’s intentions) where P does not satisfy Φ, find out a new version P’ of P such that P’ satisfies Φ. Approach: We proposed an approach for correcting overly general programs from positive examples by exploiting program synthesis techniques. The synthesized program, P’, is a … …Journal of Computer Science, Vol. 6, Issue 6 · 30 Jun 2010 · 6,854 accessesView PDFCite