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].
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].
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
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).
Alefeld, G., Herzberger, J.: Introduction to Interval Analysis. New York: Academic Press 1983.
American National Standards Institute: American National Standard Programming Language FORTRAN. ANSI X3.9-1978.
American National Standards Institute: American National Standard Programming Language FORTRAN. Draft S8, Version 104, ANSI X3.9-198x (1987).
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).
Arithmos (BS 2000) Benutzerhandbuch. Siemens, U2900-J-Z87-1 (Sept. 1986).
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).
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).
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).
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.
Braune, K., Kraemer, W.: High-Accuracy Standard Functions for Intervals. Computer Systems: Performance and Simulation (Ruschitzka, M., ed.). North-Holland (1986).
Buchholz, W.: The IBM System/370 Vector Architecture. IBM Systems Journal25/1 (1986).
Gal, S.: Computing Elementary Functions: A New Approach for Achieving High Accuracy and Good Performance. IBM Technical Report 88.153 (1985).
IBM High-Accuracy Arithmetic Subroutine Library (ACRITH): General Information Manual, GC 33-6163-02, 3rd Edition (April 1986).
IBM High-Accuracy Arithmetic Subroutine Library (ACRITH): Program Description and User's Guide, SC33-6164-02, 3rd Edition (April 1986).
IBM System/370 RPQ: High-Accuracy Arithmetic. SA 22-7093-0 (1984).
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.
Kulisch, U., Miranker, W. L.: Computer Arithmetic in Theory and Practice. New York: Academic Press 1981.
Kulisch, U., Miranker, W. L. (eds.): A New Approach to Scientific Computation. New York: Academic Press 1983.
Moore, R. E.: Interval Analysis. Englewood Cliffs, N. J.: Prentice Hall 1966.
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bleher, J.H., Rump, S.M., Kulisch, U. et al. FORTRAN-SC a study of a FORTRAN extension for engineering/scientific computation with access to ACRITH. Computing 39, 93–110 (1987). https://doi.org/10.1007/BF02310100
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02310100