Journal of the ACM Bibliography
Donald I. Good and Ralph L. London. Computer
interval arithmetic: Definition and proof of correct implementation.
Journal of the ACM, 17(4):603-612, October 1970.
[BibTeX entry]
Additional Key Words and Phrases:
interval arithmetic, computer interval arithmetic, program proving,
correctness proof, error bounding, debugging, range arithmetic
Shortcuts: