Interval Arithmetic for the Burroughs B5500: Four Algol Procedures and Proofs of Their Correctness

Thumbnail
File(s)
Date
1968
Author
Good, Donald I.
London, Ralph L.
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Metadata
Show full item record
Abstract
Four Algol procedures for interval add, subtract, multiply and divide are presented. Also included are proofs that each is correct according to theory developed in the first part of the paper.
Permanent Link
http://digital.library.wisc.edu/1793/57504
Type
Technical Report
Citation
TR26
Part of