Computing

, Volume 39, Issue 2, pp 93–110

FORTRAN-SC a study of a FORTRAN extension for engineering/scientific computation with access to ACRITH

  • J. H. Bleher
  • S. M. Rump
  • U. Kulisch
  • M. Metzger
  • Ch. Ullrich
  • W. Walter
Contributed Papers

Abstract

A new programming language called FORTRAN-SC is presented which is closely related to FORTRAN 8x. FORTRAN-SC is a FORTRAN extension with emphasis on engineering and scientific computation. It is particularly suitable for the development of numerical algorithms which deliver highly accurate and automatically verified results. The language allows the declaration of functions with arbitrary result type, operator overloading and definition, as well as dynamic arrays. It provides a large number of predefined numerical data types and operators. Programming experiences with the existing compiler have been very encouraging. FORTRAN-SC greatly facilitates programming and in particular the use of the ACRITH subroutine library [14], [15].

Key words

Programming languages FORTRAN compiler computer arithmetic numerical computation verified numerics 

FORTRAN-SC. Eine FORTRAN-Erweiterung für naturwissenschaftlich-technisches Rechnen mit Zugriff auf ACRITH

Zusammenfassung

FORTRAN-SC ist eine neue Programmiersprache, welche mit FORTRAN 8x eng verwandt ist. Es handelt sich um eine FORTRAN-Erweiterung für Anwendungen im naturwissenschaftlich-technischen Bereich. Insbesondere eignet sich FORTRAN-SC für die Entwicklung von numerischen Algorithmen, welche hochgenaue und automatisch verifizierte Ergebnisse liefern. Die Sprache ermöglicht die Vereinbarung von Funktionen mit allgemeinem Ergebnistyp, das Überladen und Definieren von Operatoren, sowie dynamische Felder. Außerdem wird eine große Zahl vordefinierter numerischer Datentypen und Operatoren zur Verfügung gestellt. Die bisherigen Programmiererfahrungen mit dem existierenden Compiler sind sehr vielversprechend. FORTRAN-SC vereinfacht das Programmieren und insbesondere die Benutzung der ACRITH-Unterprogrammbibliothek wesentlich [14], [15].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Agarwal, R. C., Cooley, J. W., Gustavson, F. G., Shearer, J. B., Slishman, G., Tuckerman, B.: New Scalar and Vector Elementary Functions for the IBM System/370. IBM Journal of Research and Development30/2, 126–144 (1986).MathSciNetGoogle Scholar
  2. [2]
    Alefeld, G., Herzberger, J.: Introduction to Interval Analysis. New York: Academic Press 1983.Google Scholar
  3. [3]
    American National Standards Institute: American National Standard Programming Language FORTRAN. ANSI X3.9-1978.Google Scholar
  4. [4]
    American National Standards Institute: American National Standard Programming Language FORTRAN. Draft S8, Version 104, ANSI X3.9-198x (1987).Google Scholar
  5. [5]
    American National Standards Institute/Institute of Electrical & Electronic Engineers: A Standard for Binary Floating-Point Arithmetic. ANSI/IEEE Std. 754-1985, New York (Aug. 1985).Google Scholar
  6. [6]
    Arithmos (BS 2000) Benutzerhandbuch. Siemens, U2900-J-Z87-1 (Sept. 1986).Google Scholar
  7. [7]
    Bohlender, G., Kaucher, E., Klatte, R., Kulisch, U., Miranker, W. L., Ullrich, Ch., Wolff, v. Gudenberg, J.: FORTRAN for Contemporary Numerical Computation. IBM Research Report RC8348 (1980). Computing26, 277–314 (1981).CrossRefGoogle Scholar
  8. [8]
    Bohlender, G., Böhm, H., Grüner, K., Kaucher, E., Klatte, R., Krämer, W., Kulisch, U., Rump, S. M., Ullrich, Ch., Wolff v. Gudenberg, J., Miranker, W. L.: Proposal for Arithmetic Specification in FORTRAN 8x. Proceedings of the International Conference on: Tools, Methods and Languages for Scientific and Engineering Computation, Paris 1983, North Holland (1984).Google Scholar
  9. [9]
    Bohlender, G., Böhm, H., Braune, K., Grüner, K., Kaucher, E., Kirchner, R., Klatte, R., Krämer, W., Kulisch, U., Miranker, W. L., Ullrich, Ch., Wolff v. Gudenberg, J.: Application Module: Scientific Computation for FORTRAN 8x. Modified Proposal for Arithmetic Specification According to Guidelines of the X3J3-Meetings in Tulsa and Chapel Hill. Report of the Institute for Applied Mathematics, University of Karlsruhe (March 1983).Google Scholar
  10. [10]
    Bohlender, G., Rall, L. B., Ullrich, Ch., Wolff v. Gudenberg, J.: PASCAL-SC: Wirkungsvoll programmieren, kontrolliert rechnen. Mannheim-Wien-Zürich: Bibliographisches Institut-Wissenschaftsverlag 1986.Google Scholar
  11. [11]
    Braune, K., Kraemer, W.: High-Accuracy Standard Functions for Intervals. Computer Systems: Performance and Simulation (Ruschitzka, M., ed.). North-Holland (1986).Google Scholar
  12. [12]
    Buchholz, W.: The IBM System/370 Vector Architecture. IBM Systems Journal25/1 (1986).Google Scholar
  13. [13]
    Gal, S.: Computing Elementary Functions: A New Approach for Achieving High Accuracy and Good Performance. IBM Technical Report 88.153 (1985).Google Scholar
  14. [14]
    IBM High-Accuracy Arithmetic Subroutine Library (ACRITH): General Information Manual, GC 33-6163-02, 3rd Edition (April 1986).Google Scholar
  15. [15]
    IBM High-Accuracy Arithmetic Subroutine Library (ACRITH): Program Description and User's Guide, SC33-6164-02, 3rd Edition (April 1986).Google Scholar
  16. [16]
    IBM System/370 RPQ: High-Accuracy Arithmetic. SA 22-7093-0 (1984).Google Scholar
  17. [17]
    Kulisch, U. (ed.). PASCAL-SC: A PASCAL Extension for Scientific Computation. Information Manual and Floppy Disks, Version IBMPC/AT, Operating System DOS, B. G. Teubner, Stuttgart, Chichester: John Wiley & Sons 1987.Google Scholar
  18. [18]
    Kulisch, U., Miranker, W. L.: Computer Arithmetic in Theory and Practice. New York: Academic Press 1981.Google Scholar
  19. [19]
    Kulisch, U., Miranker, W. L. (eds.): A New Approach to Scientific Computation. New York: Academic Press 1983.Google Scholar
  20. [20]
    Moore, R. E.: Interval Analysis. Englewood Cliffs, N. J.: Prentice Hall 1966.Google Scholar
  21. [21]
    Rump, S. M.: Solving Algebraic Problems with High Accuracy. In: [19] Kulisch, U., Miranker, W. L. (eds.): A New Approach to Scientific Computation. New York: Academic Press 1983, pp. 58–62.Google Scholar

Copyright information

© Springer-Verlag 1987

Authors and Affiliations

  • J. H. Bleher
    • 1
  • S. M. Rump
    • 1
  • U. Kulisch
    • 2
  • M. Metzger
    • 2
  • Ch. Ullrich
    • 2
  • W. Walter
    • 2
  1. 1.Entwicklung und ForschungIBM Deutschland GmbHBöblingenFederal Republic of Germany
  2. 2.Institut für Angewandte MathematikUniversität KarlsruheKarlsruheFederal Republic of Germany

Personalised recommendations