Compiler-Assisted Floating-Point Error Analysis and Profiling with FPChecker

Part of

Computational Accuracy And Arithmetic Pitfalls