The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certification
Communications of the ACM
A generalized interval package and its use for semantic checking
ACM Transactions on Mathematical Software (TOMS)
Software for Interval Arithmetic: A Reasonably Portable Package
ACM Transactions on Mathematical Software (TOMS)
Comment on London's certification of algorithms 245
Communications of the ACM
Implementation of interval arithmetic using APL
ACM SIGAPL APL Quote Quad
Static Analyses of the Precision of Floating-Point Operations
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
The current state of proving programs correct
ACM '72 Proceedings of the ACM annual conference - Volume 1
Testing large software with automated software evaluation systems
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
A summary of progress toward proving program correctness
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
| Hi-index | 0.02 |
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.