Kanagasabapathi, S. and Thushara, M. 2020. FORWARD AND BACKWARD STATIC ANALYSIS FOR CRITICAL NUMERICAL ACCURACY IN FLOATING POINT PROGRAMS. Computer Science. 21, 2 (Apr. 2020). DOI:https://doi.org/10.7494/csci.2020.21.2.3421.