An Application of Abstract Interpretation to Floating Point Arithmetic.

Yamine Aït Ameur Patrice Cros Juan José Falcón Alicia Gómez

Published in: WSA (1992)

Keyphrases

abstract interpretation
floating point arithmetic
floating point
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
instruction set
dynamic analysis
fixed point
general purpose
open source
source code