TY  - RPRT
TI  - A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks
AU  - Jasine Babu
AU  - K. Murali Krishnan
AU  - Vineeth Paleri
PY  - 2017
UR  - https://arxiv.org/abs/1708.04976
ID  - 1708.04976
ER  -