Computer Interval Arithmetic: Definition and Proof of Correct Implementation
- 1 October 1970
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 17 (4), 603-612
- https://doi.org/10.1145/321607.321610
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.Keywords
This publication has 3 references indexed in Scilit:
- Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certificationCommunications of the ACM, 1970
- Computer Programs can be Proved CorrectPublished by Springer Nature ,1970
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967