Browsing Artículos (Lenguajes y Sistemas Informáticos) by Subject "Unfold/fold transformation"
Now showing items 1-1 of 1
-
Article
Synthesis of positive logic programs for checking a class of definitions with infinite quantification
(Elsevier, 2016)We describe a method based on unfold/fold transformations that synthesizes positive logicprograms P(r)with the purpose of ...