The C++ Standard Template Library is the flagship example for libraries based on the generic programming paradigm. The usage of this library is intended to minimize the number of classical C/C++ errors, but does not warrant bug-free programs. Furthermore, many new kinds of errors may arise from the inaccurate use of the generic programming paradigm, like dereferencing invalid iterators or misun...

Despite its usefulness for overcoming floating-point arithmetic defects, manipulating imprecise data, and performing non-linear global optimization, interval arithmetic is not yet a first-class type in any computer language. Some attempts are underway for Fortran and Java, not for C++. However, some add-on C++ interval libraries already exist though they do not respect the C++ standard library ...