A Generic Framework for the Analysis and Specialization of Logic Programs

German Puebla, Elvira Albert, Manuel Hermenegildo

The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part…