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

Simple item page
dc.contributor.authorGood, Donald I.en_US
dc.contributor.authorLondon, Ralph L.en_US
dc.date.accessioned2012-03-15T16:16:19Z
dc.date.available2012-03-15T16:16:19Z
dc.date.created1968en_US
dc.date.issued1968
dc.description.abstractFour 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.en_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.citationTR26
dc.identifier.urihttp://digital.library.wisc.edu/1793/57504
dc.publisherUniversity of Wisconsin-Madison Department of Computer Sciencesen_US
dc.titleInterval Arithmetic for the Burroughs B5500: Four Algol Procedures and Proofs of Their Correctnessen_US
dc.typeTechnical Reporten_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR26.pdf
Size:
6.76 MB
Format:
Adobe Portable Document Format
Download

Collections

CS Technical Reports