Arithmetic Specification for Scientific Computation in ADA

Author

Klatte, Rudi ; Ullrich, Christian P. ; Von Gudenberg, Jürgen Wolff

Author_Institution

Institut für Angewandte Mathematik, Universitat Karlsruhe

Issue

11

fYear

1985

Firstpage

996

Lastpage

1005

Abstract

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.

Keywords

Arithmetic packages in ADA; computer arithmetic; maximum accuracy; numerical data types; optimal dot product; scientific computation; Computer errors; Computer languages; Digital arithmetic; Floating-point arithmetic; Optical computing; Packaging; Virtual colonoscopy; Virtual reality; Arithmetic packages in ADA; computer arithmetic; maximum accuracy; numerical data types; optimal dot product; scientific computation;

fLanguage

English

Journal_Title

Computers, IEEE Transactions on

Publisher

ieee

ISSN

0018-9340

Type

jour

DOI

10.1109/TC.1985.1676532

Filename

1676532