Interval Arithmetic for the Burroughs B5500: Four Algol Procedures and Proofs of Their Correctness
- TR26.pdf (7.083Mb PDF)
- University of Wisconsin-Madison Department of Computer Sciences
- Mar 15, 2012
- 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
- Export to RefWorks