Checking Compatibility of Bit Sizes in Floating Point Comparison Operations

DOI10.1016/j.entcs.2012.10.004zbMath1294.68053OpenAlexW2159743929WikidataQ113318052 ScholiaQ113318052MaRDI QIDQ5170177

Francesco Logozzo, Manuel Fähndrich

Publication date: 22 July 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2012.10.004

zbMATH Keywords

static analysisabstract interpretationnumerical abstract domains.NETdesign by contractsfloating points

Mathematics Subject Classification ID

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

Related Items (1)

Clousot

Uses Software

• Eiffel

Cites Work

• Static Contract Checking with Abstract Interpretation
• Static Analysis of Finite Precision Computations
• Programming Languages and Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Checking Compatibility of Bit Sizes in Floating Point Comparison Operations