ABSTRACT
This report will describe and discuss a presently-operational software system for tracing and displaying numerical accuracy in digital computer calculation. A FORTRAN program processed by the system is executed in an artificial arithmetic, in which every arithmetic step produces, in addition to the numerical result, an estimate of the number of significant digits in that result. Programs have been processed successfully with significance mode segments totalling as many as 1400 FORTRAN statements.
- This categorization is due to Ashenhurst and Metropolis2Google Scholar
- R L Ashenhurst N Metropolis Error estimation in computer calculation Amer Math Monthly 72/2 Part II Feb 1965 pp 47--58Google Scholar
- J H Wilkinson Rounding errors in algebraic processes Prentice-Hall 1963 Google ScholarDigital Library
- G E Forsythe Pitfalls in computation, or why a math book isn't enough Stanford University Technical Report No CS-147 January 1970 Available from Commerce Clearinghouse as AD-699 897 Google ScholarDigital Library
- B F Cheydleur Binary notations in automatic computer algorithms and operation codes 3rd ACM National Conference 1949 Oak Ridge conference paper preprint only Also Significance arithmetic notation and algorithms Unpublished internal memorandum Naval Ordnance Laboratory 1955 pp 1--19 (Available from ACM New York)Google Scholar
- R E Moore Interval analysis Prentice-Hall 1966Google Scholar
- G J Moshos L R Turner Automatic estimates of computational errors IEEE Conference Paper CP-63-1474 October 1963Google Scholar
- H S Bright A proposed numerical accuracy control system ACM Symposium on Experimental Applied Mathematics Washington D C August 1967 Proceedings published by Academic Press New York 1968 pp 314--334Google Scholar
Recommendations
The direct execution of intermediate languages on an Eclipse computer
The use of intermediate languages as a convenient means of developing portable high-level language compilers, appears to be growing. With this approach, the compiler for language A (which may be written in language A) compiles the source code into an ...
Interactive program execution in Lispedit
Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on high-level debuggingWe describe a powerful interactive debugger (Heval) embedded in a larger programming environment (Lispedit). In Lispedit, the programmer creates, edits and files Lisp functions from a uniform editor interface that makes use of the structure of Lisp ...
Program transformation for numerical precision
PEPM '09: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulationThis article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact result if the computations were carried out using real numbers. In practice, ...
Comments