Making Interval Arithmetic Robust to Overflow.

Oliver Flatt, Pavel Panchekha

Browse the full ARITH paper archive.