Static analyses of floating-point operations (0)

by E Goubault
Venue:In Proc. of the 8th Int. Static Analysis Symposium (SAS’01) (2001