scientific article; zbMATH DE number 7333240

zbMath1458.68037arXiv1202.0693MaRDI QIDQ5858725

Catuscia Palamidessi, Ivan Gazeau, Dale A. Miller

Publication date: 14 April 2021

Full work available at URL: https://arxiv.org/abs/1202.0693

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

zbMATH Keywords

program analysisfloating-point arithmeticrobustness to errors

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items (1)

Preserving differential privacy under finite-precision semantics

This page was built for publication: