×

An analysis of the effect of rounding errors on the flow of control in numerical processes. (English) Zbl 0406.65023


MSC:

65G50 Roundoff error
68Q60 Specification and verification (program logics, model checking, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] A. V. Aho, J. E. Hopcroft and J. D. Ullman,The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, Mass., 1974. · Zbl 0326.68005
[2] F. L. Bauer,Computational graphs and rounding error, SIAM J. Numer. Anal. 11 (1974), 87–96. · Zbl 0337.65028 · doi:10.1137/0711010
[3] H. Federer,Geometric Measure Theory, Springer, Berlin - Heidelberg- New York, 1969. · Zbl 0176.00801
[4] S. A. Greibach,Theory of Program Structures: Schemes, Semantics, Verification, Lect. Notes in Computer Science Vol. 36, Springer, Berlin - Heidelberg - New York, 1975. · Zbl 0345.68002
[5] D. E. Knuth,The Art of Computer Programming, Vol. 2: Seminumerical Algorithms, Addison-Wesley, Reading, Mass., 1969. · Zbl 0191.18001
[6] D. E. Knuth, Private communication to M. Tienari, 1972.
[7] M. LaPorte and J. Vignes, Methode numérique de detection de la singularité d’une matrice, Numer. Math. 23 (1974), 73–81. · Zbl 0302.65022 · doi:10.1007/BF01409992
[8] S. Linnainmaa,Taylor expansion of the accumulated rounding error, BIT 16 (1976), 146–160. · Zbl 0332.65024 · doi:10.1007/BF01931367
[9] W. Miller,Computer search for numerical instability, J. Assoc. Comput. Mach. 22 (1975), 512–521. · Zbl 0345.65022 · doi:10.1145/321906.321916
[10] W. Miller,Software for roundoff analysis, ACM Transactions on Mathematical Software 1 (1975), 108–128. · Zbl 0303.65036 · doi:10.1145/355637.355639
[11] K. Nickel, Über die Notwendigkeit einer Fehlerschranken-Arithmetik für Rechnenautomaten, Numer. Math. 9 (1966), 69–79. · Zbl 0154.41905 · doi:10.1007/BF02165231
[12] W. Rudin,Principles of Mathematical Analysis (2. ed.), McGraw-Hill, N.Y., 1964. · Zbl 0148.02903
[13] P. H. Sterbenz,Floating-Point Computation, Prentice-Hall, N.Y., 1974.
[14] M. Tienari,On some topological properties of numerical algorithms, BIT 12 (1972), 409–433. · Zbl 0246.65018 · doi:10.1007/BF01932311
[15] E. Ukkonen.On the effect of rounding errors on the flow of control in numerical processes, Report A-1977-7, Department of Computer Science, University of Helsinki, 1977. · Zbl 0406.65023
[16] A. van Wijngaarden,Numerical analysis as an independent science, BIT 6 (1966), 66–81. · Zbl 0161.12004 · doi:10.1007/BF01939551
[17] J. H. Wilkinson,Rounding Errors in Algebraic Processes, Prentice-Hall, Englewood Cliffs, N.J., 1963. · Zbl 1041.65502
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.