9 citations · 17 across the 9 of their papers we have counts for
1 paper · 1 filter
Gaurav Sood, K. Murali Krishnan
We consider the problem of Data Flow Analysis over monotone data flow frameworks with a finite lattice. The problem of computing the Maximum Fixed Point (MFP) solution is shown to…