Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics
type: Item
instance of: scholarly article
title: Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics
zbMATH Open document ID: 1185.68017
author: Matthieu Martel
published in: Formal Methods in System Design
publication date: 2010-02-05T00:00:00Z
Mathematics Subject Classification ID: 68M07
zbMATH DE Number: 5666996
zbMATH Keywords: Keywords: Numerical precision
zbMATH Keywords: Static analysis
zbMATH Keywords: Abstract interpretation
zbMATH Keywords: Program transformation
MaRDI profile type: Publication
full work available at URL: s10703-009-0068-y
OpenAlex ID: W2072118759
cites work: Greedy algorithms for optimizing multivariate Horner schemes
cites work: Systematic design of program transformation frameworks by abstract interpretation
cites work: Automata, Languages and Programming
cites work: Q4778705
cites work: Q4738356
cites work: Static Analysis of Numerical Algorithms
cites work: Q2713275
cites work: Q5287559
cites work: Q4738355
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Semantics of roundoff error propagation in finite precision calculations
cites work: Semantics-Based Transformation of Arithmetic Expressions
DOI: 10.1007/S10703-009-0068-Y
description: scientific article; zbMATH DE number 5666996