activity
20032026
most citedResource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

38 citations · 117 across the 39 of their papers we have counts for

collaborators
Showing 2005 · cs.PLShow all

1 paper · 2 filters

cs.PL2005

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…