Arithmetic Specification for Scientific Computation in ADA

Arithmetic Specification for Scientific Computation in ADA

Usually, higher programming languages provide a floating point arithmetic without specifying the accuracy of the operations. In contrast, ADA defines the operations by means of model numbers and rounding (see [2], [11]). Nevertheless, this definition is not strong enough to satisfy the modern requir...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on computers 1985-11, Vol.C-34 (11), p.996-1005
Hauptverfasser: KLATTE, R, ULLRICH, C. P, VON GUDENBERG, J. W
Format: Artikel
Sprache:eng
Schlagworte:
Applied sciences
Arithmetic packages in ADA
computer arithmetic
Computer science
control theory
systems
Exact sciences and technology
maximum accuracy
numerical data types
optimal dot product
scientific computation
Software
Software engineering
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Usually, higher programming languages provide a floating point arithmetic without specifying the accuracy of the operations. In contrast, ADA defines the operations by means of model numbers and rounding (see [2], [11]). Nevertheless, this definition is not strong enough to satisfy the modern requirement of maximum accuracy in all spaces of scientific computation (see [7]-[9]). By this we mean that no computer representable element lies between the actual and the computer generated result of an operation. The object of this paper is to specify the new arithmetic in ADA for all usual numerical data types. The new arithmetic is made available in a convenient operator form.
ISSN:0018-9340
1557-9956
DOI:10.1109/TC.1985.1676532