20 citations · 34 across the 10 of their papers we have counts for
1 paper · 2 filters
Jorge Navas, Francisco Bueno, Manuel Hermenegildo
We study the problem of efficient, scalable set-sharing analysis of logic programs. We use the idea of representing sharing information as a pair of abstract substitutions, one of…