@inproceedings{upm14358,
          volume = {3668},
           title = {A generic framework for the analysis and specialization of kogic programs},
         address = {Heidelberg, Alemania},
            year = {2005},
       publisher = {Springer Berlin Heidelberg},
       booktitle = {Logic Programming},
            isbn = {9783540292081},
             url = {http://link.springer.com/chapter/10.1007\%2F11562931\%5f32?LI=true},
        abstract = {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.},
          author = {Puebla S{\'a}nchez, Alvaro Germ{\'a}n and Albert Albiol, Elvira and Hermenegildo, Manuel V.}
}