9 citations · 17 across the 9 of their papers we have counts for
1 paper · 2 filters
Jasine Babu, K. Murali Krishnan, Vineeth Paleri
The problem of determining Herbrand equivalence of terms at each program point in a data flow framework is a central and well studied question in program analysis. Most of the well…