Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics

DOI10.1007/s10703-009-0068-yzbMath1185.68017OpenAlexW2072118759MaRDI QIDQ845241

Matthieu Martel

Publication date: 5 February 2010

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-009-0068-y

zbMATH Keywords

Static analysisProgram transformationAbstract interpretationKeywords: Numerical precision

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Related Items (1)

Accuracy and Efficiency in Fixed-Point Neural ODE Solvers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of roundoff error propagation in finite precision calculations
• Semantics-Based Transformation of Arithmetic Expressions
• Static Analysis of Numerical Algorithms
• Systematic design of program transformation frameworks by abstract interpretation
• Verification, Model Checking, and Abstract Interpretation
• Automata, Languages and Programming
• Greedy algorithms for optimizing multivariate Horner schemes

This page was built for publication: Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics