Automatic Generation of Guard-Stable Floating-Point Code

DOI10.1007/978-3-030-63461-2_8zbMath1517.68085MaRDI QIDQ6487928

Marco A. Feliú, Laura Titolo, Mariano M. Moscato, César A. Muñoz

Publication date: 21 March 2023

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Error analysis and interval analysis (65G99)

Related Items (1)

Bit-precise verification of discontinuity errors under fixed-point arithmetic

This page was built for publication: Automatic Generation of Guard-Stable Floating-Point Code