%0 Conference Paper
%A Puebla Sánchez, Alvaro Germán
%A Albert Albiol, Elvira
%A Hermenegildo, Manuel V.
%B 21st International Conference, ICLP 2005
%C Sitges, Spain
%D 2005
%F upm:14358
%I Springer Berlin Heidelberg
%T A generic framework for the analysis and specialization of kogic programs
%U https://oa.upm.es/14358/
%V 3668
%X The relationship between abstract interpretation [2] and partial evaluation [5] has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction (see e.g. [6] and its references) and abstract interpretation perspectives. Abstract interpretation-based analyzers (such as the CiaoPP analyzer [9,4]) generally compute a program analysis graph [1] in order to propagate (abstract) call and success information by performing fixpoint computations when needed. On the other hand, partial deduction methods [7] incorporate powerful techniques for on-line specialization including (concrete) call propagation and unfolding.