Semantics-Based Transformation of Arithmetic Expressions

DOI10.1007/978-3-540-74061-2_19MaRDI QIDQ3612007zbMATH OpenOpenAlexFDO

Authors Matthieu Martel

Publication date 3 March 2009

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74061-2_19

Mathematics Subject Classification ID

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

Recommendations

• Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics
• Transformation of a PID controller for numerical accuracy
• Accurate evaluation of arithmetic expressions (invited talk)
• Semantics of roundoff error propagation in finite precision calculations
• Numerical Software with Result Verification

Cited in

(5)

• Transformation of a PID controller for numerical accuracy
• Randomized accuracy-aware program transformations for efficient approximate computations
• Accurate evaluation of arithmetic expressions (invited talk)
• Impact of accuracy optimization on the convergence of numerical iterative methods
• Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics

This page was built for publication: Semantics-Based Transformation of Arithmetic Expressions

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