Specialization of Recursive Predicates from Positive Examples Only
851
ACIT'2024 will be held in Zarqa University, December 10-12, 2024 -Zarqa, Jordan
851
Abstract
Our aim is to outline a method for synthesizing a correct program that satises the intended semantics. The synthesized program is a specialization of the original one. In contrast to the previous approaches for logic program specialization, no negative examples are given as input but they will be discovered by the algorithm itself. The specialization process is performed according to the positive examples only. A method for rening logic programs into specialized version is then proposed.keywords: program specialization, theorem proving, positive/negative examples, folding/unfolding rules, ¯nite-state machine.
Zarqa University P.O. Box 132010
+962-5-3821100 / ext 1451
This email address is being protected from spambots. You need JavaScript enabled to view it.