scientific article; zbMATH DE number 1832227

zbMath0997.68518MaRDI QIDQ4778705

Eric Goubault

Publication date: 19 November 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2126/21260234

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

Mathematics Subject Classification ID

Roundoff error (65G50) Data structures (68P05) Theory of software (68N99)

Related Items (10)

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics ⋮ Why does Astrée scale up? ⋮ Termination of floating-point computations ⋮ Semantics of roundoff error propagation in finite precision calculations ⋮ Stabilizing Floating-Point Programs Using Provenance Analysis ⋮ Deciding floating-point logic with abstract conflict driven clause learning ⋮ Identifying volatile numeric expressions in numeric computing applications ⋮ Exploiting Binary Floating-Point Representations for Constraint Propagation ⋮ Static Analysis of Finite Precision Computations

Uses Software

• mctoolbox

This page was built for publication: