scientific article; zbMATH DE number 1948393

zbMath1015.68045MaRDI QIDQ4411955

Matthieu Martel

Publication date: 13 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2477/24770133.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Abstract InterpretationNumerical PrecisionRelational AnalysisSemantics of Floating-point Numbers

Mathematics Subject Classification ID

Roundoff error (65G50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Semantics of roundoff error propagation in finite precision calculations ⋮ Checking Compatibility of Bit Sizes in Floating Point Comparison Operations

This page was built for publication: