Accurate Evaluation of Arithmetic Expressions (Invited Talk)

DOI10.1016/j.entcs.2012.09.002zbMath1294.68060OpenAlexW2149188647WikidataQ113318063 ScholiaQ113318063MaRDI QIDQ5170165

Matthieu Martel

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.09.002

zbMATH Keywords

abstract interpretationcomputer arithmeticcode synthesis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Interval and finite arithmetic (65G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods ⋮ Transformation of a PID controller for numerical accuracy

Cites Work

• Equality Saturation: A New Approach to Optimization
• Introduction to Interval Analysis
• Semantics-Based Transformation of Arithmetic Expressions
• Handbook of Floating-Point Arithmetic
• Systematic design of program transformation frameworks by abstract interpretation
• Equality saturation

This page was built for publication: Accurate Evaluation of Arithmetic Expressions (Invited Talk)