Skip to main content

1 Result(s)

within Vineeth Paleri Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks

    Computing Herbrand equivalences of terms in data flow frameworks is well studied in program analysis. While algorithms use iterative fix-point computation on some abstract lattice of expressions relevant to th...

    Jasine Babu, Karunakaran Murali Krishnan, Vineeth Paleri in Logic and Its Applications (2019)