TY  - RPRT
TI  - An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis
AU  - Arnab Das
AU  - Ian Briggs
AU  - Ganesh Gopalakrishnan
AU  - Pavel Panchekha
AU  - Sriram Krishnamoorthy
PY  - 2020
UR  - https://arxiv.org/abs/2004.11960
ID  - 2004.11960
ER  -