Abstract
It will be shown that by using directed roundings resp. enclosure sets for the exact values, the loop conditions and loop invariants of numerical algorithms can be generalized for computing in a discrete screen. On this way, in spite of rounding errors, it is possible to verify the received results. Thereby only inherent properties of the algorithms are used, which moreover guarantee that the loops terminate.
Zusammenfassung
Es wird gezeigt, daß unter Benutzung von gerichteten Rundungen bzw. Einschließungsmengen für die jeweils exakten Werte Schleifen-Bedingungen und Schleifen-Invarianten aus den für das exakte Rechnen aufgestellten numerischen Algorithmen auf naheliegende Weise für das Rechnen in Gleitpunktrastern verallgemeinert werden können. Dadurch ist trotz des Auftretens von Rundungsfehlern eine Verifikation der erhaltenen Ergebnisse möglich. Verwendet werden dazu nur dem Algorithmus innewohnende Eigenschaften, die gleichzeitig ein Terminieren der Schleifen bewirken.
Similar content being viewed by others
References
Alefeld, G., Herzberger, J.: Introduction to interval computations. New York: Academic Press 1983.
Bauch, H., Jahn, K.-U., Oelschlägel, D., Süsse, H., Wiebigke, V.: Intervallmathematik-Theorie und Anwendungen. Leipzig: Teubner-Verlag 1987.
Berlioux, P., Bizard, P.: Algorithms: The construction, proof and analysis of programs. New York: Wiley 1985.
Floyd, R.: Assigning meanings to programs. Mathematical aspects of computer science, XIX AMS, 19–32 (1967).
Gries, D.: The science of programming. Berlin, Heidelberg, New York: Springer 1981.
Hoare, T.: An axiomatic basis for computer programming. Comm. ACM12, 576–583 (1969).
Jahn, K.-U.: Punktkonvergenz in der Intervallrechnung. ZAMM55, 606–608 (1975).
Jahn, K.-U.: Abbrechkriterien und numerische Konvergenz. Weiterbildungszentrum Math. Kybernetik und Rechentechnik der TU Dresden58, 50–60 (1982).
Jahn, K.-U.: The importance of 3-valued notions for interval mathematics. In: K. Nickel (ed) Interval mathematics 1980, 75–88, New York: Academic Press 1980.
Jahn, K.-U.: Intervallmathematik über halbgeordneten Banach-Räumen. Freiburger Intervall-Berichte82/1, 1–87 (1982).
Jahn, K.-U.: Evaluation of Hausdorff distances in interval mathematics. Computing45, 69–77 (1980).
Kaucher, E., Miranker, W. L.: Self-validating numerics for function space problems. New York: Academic Press 1984.
Klaua, D.: Partielle Mengen und Zahlen. Mber. Dt. Akademie d. Wiss.11, 585–599 (1969).
Kulisch, U. (ed.): Wissenschaftliches Rechnen mit Ergebnisverifikation. Berlin: Akademie-Verlag 1989.
Kulisch, U., Miranker, W. L.: Computer arithmetic in theory and practice. New York: Academic Press 1981.
Nickel, K.: Über die Notwendigkeit einer Fehlerschranken-Arithmetik für Rechenautomaten. Numer. Math.9, 69–79 (1966).
Nickel, K.: Über die Stabilität und Konvergenz numerischer Algorithmen I/II. Computing15, 291–328 (1975).
Moore, R. E.: Interval tools for computer aided proofs in analysis. In: Meyer, K. R., Schmidt, D. S. (eds): Computer aided proofs in analysis, 211–216. Berlin, Heidelberg, New York, Tokyo: Springer 1991.
Robert, F.: Discrete iterations. Berlin, Heidelberg, New York, Tokyo: Springer 1986.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jahn, K.U. Loop invariants in floating point algorithms. Computing 50, 255–264 (1993). https://doi.org/10.1007/BF02243815
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02243815