ListarArtículos (Lenguajes y Sistemas Informáticos) por materia "Unfold/fold transformation"
Mostrando ítems 1-1 de 1
-
Artículo
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 ...