Computer Interval Arithmetic: Definition and Proof of Correct Implementation-Reference-Cited by-同舟云学术

Computer Interval Arithmetic: Definition and Proof of Correct Implementation

Published:1970-10 Issue:4 Volume:17 Page:603-612
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Good Donald I.¹,London Ralph L.²

Affiliation:

1. Department of Computer Sciences, University of Texas at Austin, Austin, Texas and University of Wisconsin, Computer Sciences Department and Computing Center, Madison, Wisconsin

2. University of Wisconsin, Computer Sciences Department and Computing Center, Madison, Wisconsin

Abstract

A definition is given of computer interval arithmetic suitable for implementation on a digital computer. Some computational properties and simplifications are derived. An ALGOL code segment is proved to be a correct implementation of the definition on a specified machine environment.

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Link

https://dl.acm.org/doi/pdf/10.1145/321607.321610

Reference9 articles.

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Static Analyses of the Precision of Floating-Point Operations;Static Analysis;2001

2. Incorporating Membership Functions and Certainty Factors in Fuzzy Expert Systems;Computer-Aided Civil and Infrastructure Engineering;1995-05

3. On the use of interval mathematics in fuzzy expert systems;International Journal of Intelligent Systems;1994

4. Determine Whether Two Line Segments Intersect;Modeling in Computer Graphics;1991

5. A generalized interval package and its use for semantic checking;ACM Transactions on Mathematical Software;1984-12