Optimal approximation for efficient termination analysis of Floating-point Loops | IEEE Conference Publication | IEEE Xplore