@entry{con-gur-liu-liu-zha-zho-zou-09-aa-static, author = {J Cong and K Gururaj and B Liu and C Liu and Z Zhang...}, title = {Evaluation of static analysis techniques for fixed-point precision optimization}, journal = {2009 17th IEEE ...,}, volume = {}, number = {}, pages = {}, year = 2009, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://ieeexplore.ieee.org/abstract/document/5290921/?casa_token=3shfP2RHQ1sAAAAA:Dm7nyLYHwAwMg6393_R8UkEIM0hpB8e0w0KxJiHKubFTMRK2TMj0Ezt4B7KsKDCo58Jks6JK}}}, quotes = {... To use affine arithmetic for precision analysis, we can express both x and Ex as affine ... However, the terms xEy and yEx are not in affine form, and multiplication in affine arithmetic ...} }