Tight Error Analysis in Fixed-point Arithmetic

DOI10.1145/3524051zbMath1522.68162OpenAlexW4225426295WikidataQ130951361 ScholiaQ130951361MaRDI QIDQ6177466

Omar Inverso, Alberto Bemporad, Mirco Tribastone, Stella Simić

Publication date: 31 August 2023

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3524051

zbMATH Keywords

static analysisprogram transformationfixed-point arithmeticnumerical error analysis

Mathematics Subject Classification ID

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

This page was built for publication: Tight Error Analysis in Fixed-point Arithmetic