An Abstract Domain to Infer Linear Absolute Value Equalities.

Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang

Browse the full TASE paper archive.