Interval Arithmetic for the Burroughs B5500: Four Algol Procedures and Proofs of Their Correctness
Loading...
Files
Date
Authors
Good, Donald I.
London, Ralph L.
Advisors
License
DOI
Type
Technical Report
Journal Title
Journal ISSN
Volume Title
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Grantor
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.
Description
Keywords
Related Material and Data
Citation
TR26