Extending Backward Error Assertions to Tolerance of Large Errors in Floating Point Computations

Patrick Fitzpatrick. Extending Backward Error Assertions to Tolerance of Large Errors in Floating Point Computations. IEEE Transactions on Computers, 46(4):505-510, 1997.

Abstract

Abstract is missing.