About This Item

Ask the MINDS@UW Librarian

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

Show full item record

File(s):

Author(s)
Good, Donald; London, Ralph
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Date
Mar 15, 2012
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.
Permanent link
http://digital.library.wisc.edu/1793/57504 
Export
Export to RefWorks 
​

Part of

Show full item record

Search and browse




About MINDS@UW

Deposit materials

  1. Register to deposit in MINDS@UW
  2. Need deposit privileges? Contact us.
  3. Already registered? Have deposit privileges? Deposit materials.