Termination analysis of floating-point programs using parameterizable rational approximations.

Fonenantsoa Maurica Frédéric Mesnard Étienne Payet

Published in: SAC (2016)

Keyphrases

floating point
termination analysis
abstract interpretation
active rules
active databases
fixed point
control flow
floating point arithmetic
instruction set
static analysis
general purpose
integrity constraints