Collaborated with:
Y.Ding Hui Guan X.Shen
Talks about:
triangular (1) strength (1) general (1) theori (1) reduct (1) deploy (1) compil (1) inequ (1) base (1)
Person: Lin Ning
DBLP: Ning:Lin
Contributed to:
Wrote 1 papers:
- PLDI-2017-DingNGS #deployment #difference #reduction
- Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction (YD, LN, HG, XS), pp. 33–48.