Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article
Author

Moussa Demba

1 article in our journals

Articles where this person is an author, newest first. People are matched by their name as printed (no ORCID iD is recorded for them), not by name alone; search the name as text to find namesakes too.

Research ArticleOpen accessSpecialization 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