Automatic Generation of Guard-Stable Floating-Point Code

Laura Titolo, Mariano M. Moscato, Marco A. Feliu, and Cesar A. Muñoz
November 2020
PDF Cite Project DOI
Type
Conference paper
Publication
In Proceedings of the 16th International Conference on Integrated Formal Methods, (iFM 2020)