1 paper · 1 filter
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…