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

DOI10.1007/S10703-009-0068-YMaRDI QIDQ845241zbMATHOpenAlexFDO

Authors 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

Program transformationAbstract interpretationKeywords: Numerical precisionStatic analysis

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Recommendations

• Semantics-Based Transformation of Arithmetic Expressions
• Numerical accuracy control in fixed-point arithmetic
• Tight Error Analysis in Fixed-Point Arithmetic
• scientific article; zbMATH DE number 67123
• Tight Error Analysis in Fixed-point Arithmetic

Cites work

• scientific article; zbMATH DE number 1595639 (Why is no real title available?)
• scientific article; zbMATH DE number 2087546 (Why is no real title available?)
• scientific article; zbMATH DE number 2087547 (Why is no real title available?)
• scientific article; zbMATH DE number 1832227 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Automata, Languages and Programming
• Greedy algorithms for optimizing multivariate Horner schemes
• 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

Cited in

(3)

• Accuracy and efficiency in fixed-point neural ODE solvers
• Transformation of a PID controller for numerical accuracy
• Semantics-Based Transformation of Arithmetic Expressions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q845241)