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:

  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database