An Abstract Domain to Infer Linear Absolute Value Equalities | IEEE Conference Publication | IEEE Xplore