Computer Science Home Page
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
Feedback or content questions:
send email to "pubs" at the cs.wisc.edu server
Technical or accessibility issues:
Copyright © 2002, 2003, 2004, 2005, 2006, 2007 The Board of
Regents of the University of Wisconsin System.