Free tool to analyze and enrich the arithmetic behavior of Java programs, bridging the gap between numerical analysts and ordinary programmers.

Schedule

11/2015 – 11/2035

Programmers tend to underestimate the possible anomalies that are creeping wherever there are numbers and computations. Numbers in programming do not behave like numbers in mathematics. Every programmer knows that, but nearly all are writing code that contains related defects, because it can be truly subtle.
The risk of letting the poison spread into the code is higher than expected. The consequences range from an incoherent program outcome to critical security breaches.

Many powerful number models are available as alternatives to float/double, but using them generally means strong programming efforts. Why not program with the standard types, and simply switch to a better model at runtime?

For Java developers, we have designed, implemented and published a complete tool that provides several levels of assistance, to diagnose how reasonably the numbers and computations behave, as well as to boost their power and bring dramatically new capabilities. The tool is free and open-source.