|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Arithmetic Specification for Scientific Computation in ADA
November 1985 (vol. 34 no. 11)
pp. 996-1005
| ASCII Text | x | ||
| R. Klatte, C.P. Ullrich, J.W. Von Gudenberg, "Arithmetic Specification for Scientific Computation in ADA," IEEE Transactions on Computers, vol. 34, no. 11, pp. 996-1005, November, 1985. | |||
| BibTex | x | ||
| @article{ 10.1109/TC.1985.1676532, author = {R. Klatte and C.P. Ullrich and J.W. Von Gudenberg}, title = {Arithmetic Specification for Scientific Computation in ADA}, journal ={IEEE Transactions on Computers}, volume = {34}, number = {11}, issn = {0018-9340}, year = {1985}, pages = {996-1005}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1985.1676532}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - Arithmetic Specification for Scientific Computation in ADA IS - 11 SN - 0018-9340 SP996 EP1005 EPD - 996-1005 A1 - R. Klatte, A1 - C.P. Ullrich, A1 - J.W. Von Gudenberg, PY - 1985 KW - scientific computation KW - Arithmetic packages in ADA KW - computer arithmetic KW - maximum accuracy KW - numerical data types KW - optimal dot product VL - 34 JA - IEEE Transactions on Computers ER - | |||
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.
Index Terms:
scientific computation, Arithmetic packages in ADA, computer arithmetic, maximum accuracy, numerical data types, optimal dot product
Citation:
R. Klatte, C.P. Ullrich, J.W. Von Gudenberg, "Arithmetic Specification for Scientific Computation in ADA," IEEE Transactions on Computers, vol. 34, no. 11, pp. 996-1005, Nov. 1985, doi:10.1109/TC.1985.1676532
Usage of this product signifies your acceptance of the Terms of Use.