7 citations · 7 across the 3 of their papers we have counts for
1 paper · 2 filters
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…