An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

Laura Titolo, Marco A. Feliu, Mariano M. Moscato, and Cesar A. Muñoz
January 2018
PDF Cite Project DOI
Type
Conference paper
Publication
In Proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018)