Static analysis for detecting and avoiding floating-point run-time errors in logic programs. - Javier Nunez Fontarnau (2006)