Tech Report TR26

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

Donald Good, Ralph London
1968

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.

Download this report (PDF)

Return to tech report index

Computer Science | UW Home

Feedback or content questions: send email to "pubs" at the cs.wisc.edu server
Technical or accessibility issues: lab@cs.wisc.edu
Copyright © 2002, 2003, 2004, 2005, 2006, 2007 The Board of Regents of the University of Wisconsin System.