论文信息 - Computer Interval Arithmetic: Definition and Proof of Correct Implementation

Computer Interval Arithmetic: Definition and Proof of Correct Implementation

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.

Donald I. Good | Ralph L. London

[1] Ralph L. London. Computer Programs can be Proved Correct , 1970 .

[2] J. M. Yohe,et al. An Interval Arithmetic Package for the UNIVAC 1108. , 1970 .

[3] Ralph L. London. Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certification , 1970, CACM.

[4] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .