Login / Signup
Forward and Backward Static Analysis for Critical numerical accuracy in Floating Point Programs.
Somasundaram Kanagasabapathi
M. G. Thushara
Published in:
Comput. Sci. (2020)
Keyphrases
</>
floating point
static analysis
forward and backward
symbolic execution
dynamic analysis
source code
abstract interpretation
fixed point
interval arithmetic
open source
instruction set
regular expressions
floating point arithmetic
training set
object oriented
sparse matrices