Loop invariants in floating point algorithms

DOI10.1007/BF02243815zbMath0779.65028MaRDI QIDQ685861

K.-U. Jahn

Publication date: 18 October 1993

Published in: Computing (Search for Journal in Brave)

zbMATH Keywords

result verificationrounding errorsnumerical algorithmsloop invariantsdirecting roundingsenclosure setsfloating point algorithmloop conditions

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Roundoff error (65G50) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Über die Notwendigkeit einer Fehlerschranken-Arithmetik für Rechenautomaten
• Evaluation of Hausdorff distances in interval mathematics
• Punktkonvergenz in der Intervall‐Rechnung
• Basic Results for the Behaviour of Discrete Iterations
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Loop invariants in floating point algorithms