24 citations · 25 across the 5 of their papers we have counts for
1 paper · 1 filter
Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler
Interprocedural analysis by means of partial tabulation of summary functions may not terminate when the same procedure is analyzed for infinitely many abstract calling contexts or…