Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction.

Yufei Ding, Lin Ning, Hui Guan, Xipeng Shen

Browse the full PLDI paper archive.