Yufei Ding, Lin Ning, Hui Guan, Xipeng Shen. Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction. In Albert Cohen 0001, Martin T. Vechev, editors, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. pages 33-48, ACM, 2017. [doi]
Abstract is missing.