Semantics-Based Transformation of Arithmetic Expressions
From MaRDI portal
Publication:3612007
DOI10.1007/978-3-540-74061-2_19zbMath1211.68096MaRDI QIDQ3612007
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
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Accurate Evaluation of Arithmetic Expressions (Invited Talk), Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics, Transformation of a PID controller for numerical accuracy