ACRITH-XSC A Fortran—like Language for Verified Scientific Computing

Mathematics in Science and Engineering

Volumn 189, Issue C, 1993, Pages 45-70

  Walter, Wolfgang V ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77956812331     PISSN: 00765392     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0076-5392(08)62841-6     Document Type: Article

References (42)

1. American National Standards Institute American National Standard Programming Language FORTRAN. ANSI X3.9–1978, 1978.
2. American National Standards Institute/Institute of Electrical and Electronics Engineers IEEE Standard for Binary Floating-point Arithmetic. ANSI/IEEE Std 754–1985, New York, 1985.
3. American National Standards Institute/Institute of Electrical and Electronics Engineers IEEE Standard for Radix-Independent Floating-point Arithmetic. ANSI/IEEE Std 854–1987, New York, 1987.
4. Bleher, J.H., Rump, S.M., Kulisch, U., Metzger, M., Ullrich, Ch., Walter, W.V., FORTRAN-SC A Study of a FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH. Computing 39 (1987), 93–110 Springer.
5. G. Bohlender, E. Kaucher, R. Klatte, U. Kulisch, W.L. Miranker Ullrich, Ch. & J. Wolff von Gudenberg FORTRAN for Contemporary Numerical Computation. IBM Research Report RC 8348, 1980.
6. Computing 26 (1981), 277–314 Springer.
7. G. Bohlender, H. Bohm, K. Grüner, E. Kaucher, R. Klatte, W. Krämer, U. Kulisch, W.L. Miranker, S.M. Rump, Ullrich, Ch. & J. Wolff von Gudenberg, Proposal for Arithmetic Specification in FORTRAN 8x. Proc. of Int. Conf. on: Tools, Methods and Languages for Scientific and Engineering Computation, Paris 1983, North-Holland, 1984.
8. Bohlender, G., Rall, L.B., Ullrich, Ch., Wolff von Gudenberg, J., PASCAL-SC: Wirkungavoll programmieren, kontrolliert rechnen., 1986, Bibl. Inst., Mannheim.
9. Bohlender, G., Rall, L.B., Ullrich, Ch., Wolff von Gudenberg, J., Perspectives in Computing 17. PASCAL-SC: A Computer Language for Scientific Computation., 1987, Academic Press, Orlando.
10. R. Hammer How Reliable is the Arithmetic of Vector Computers? In [26], 467–482, 1990.
11. IBM System/370 RPQ, High-Accumcy Arithmetic. SA22–7093-0, IBM Corp., 1984.
12. IBM High-Accuracy Arithmetic Subroutine Library (ACRITH), General Information Manual. 3rd ed., GC33–6163-02, IBM Corp., 1986.
13. IBM Program Description and User's Guide. 3rd ed., SC33–6164-02, IBM Corp., 1986.
14. IBM High Accuracy Arithmetic —Extended Scientific Computation (ACRITH-XSC), General Information. GC33–6461-01, IBM Corp., 1990.
15. IBM Reference. SC33–6462-00, IBM Corp., 1990.
16. IMACSGAMM, Resolution on Computer Arithmetic. Mathematics and Computers in Simulation 31 (1989), 297–298.
17. Zeitschrift für Angewandte Mathematik und Mechanik, 70(no. 4), 1990, T5.
18. Ullrich, Ch., (eds.) Computer Arithmetic and Self-Validating Numerical Methods, 1990, Academic Press, San Diego, 301–302 in [26], 523–524, 1990.
19. IMACS Annals on Computing and Appl. Math. Kaucher, E., Markov, S.M., Mayer, G., (eds.) Computer Arithmetic, Scientific Computation and Mathematical Modelling, 12, 1991, J.C. Baltzer, Basel, 477–478.
20. International Standards Organization Standard Programming Language Fortmn. ISO/IEC 1539:1991, 1991.
21. R. Kirchner & U. Kulisch Arithmetic for Vector Processors. Proc. of 8th IEEE Symp. on Computer Arithmetic (ARITH8) in Como, 256–269, IEEE Computer Society, 1987.
22. Klatte, R., Kulisch, U., Neaga, M., Ratz, D., Ullrich, Ch., PASCAL-XSC Sprachbeschreibung mit Beispielen., 1991, Springer, Berlin, Heidelberg.
23. Klatte, R., Kulisch, U., Neaga, M., Ratz, D., Ullrich, Ch., PASCAL-XSC Language Reference with Examples., 1992, Springer, Berlin, Heidelberg.
24. A. Knöfel Fast Hardware Units for the Computation of Accumte Dot Products. Proc. of 10th IEEE Symp. on Computer Arithmetic (ARITH 10) in Grenoble, 70–74, IEEE Computer Society, 1991.
25. Kulisch, U., Miranker, W.L., Computer Arithmetic in Theory and Practice., 1981, Academic Press, New York.
26. Kulisch, U., Reihe Informatik 19. Grundlagen des numerischen Rechnens: Mathematische Begründung der Rechnerarithmetik., 1976, Bibl. Inst., Mannheim.
27. Notes and Reports in Comp. Sci. and Appl. Math. Kulisch, U., Miranker, W.L., (eds.) A New Approach to Scientific Computation., 1983, Academic Press, Orlando.
28. Kulisch, U. (ed.) PASCAL-SC: A PASCAL Extension for Scientific Computation; Information Manual and Floppy Disks; Version IBM PC/AT, Operating System DOS. Wiley-Teubner Series in Comp. Sci.
29. B.G. Teubner J. Wiley & Sons, 1987; Version ATARI ST. B. G. Teubner, Stuttgart, 1987.
30. Lohner, R.J., Enclosing the Solutions of Ordinary Initial and Boundary Value Problems. Kaucher, E., Kulisch, U., Ullrich, Ch., (eds.) Computerarithmetic: Scientific Computation and Programming Languages, 1987, B. G. Teubner, Stuttgart, 255–286.
31. R. Lohner EinschlieBung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen. Ph.D. thesis, Univ. Karlsruhe, 1988.
32. M. Metzger FORTRAN-SC: A FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH, Demonstration of the Compiler and Sample Programs. In [24], 63–79, 1988.
33. M. Metzger & Walter, W. (V.) FORTRAN-SC: A Programming Language for Engineering/Scientific Computation. In [26], 427–441, 1990.
34. Reliability in Computing, The Role of Interval Methods in Scientific Computing. Moore, R.E., (eds.) Perspectives in Computing, 19, 1988, Academic Press, San Diego.
35. D. Ratz The Effects of the Arithmetic of Vector Computers on Basic Numerical Methods. In [26], 499–514, 1990.
36. IMACS Annals on Computing and Appl. Math. Ullrich, C., (eds.) Contributions to Computer Arithmetic and Self-validating Numerical Methods., 7, 1990, J.C. Baltzer, Basel.
37. Walter, W. (V.) FORTRAN-SC: A FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH, Language Description with Ezamples. In [24], 43–62, 1988.
38. Walter, W.V., Einführung in die wissenschaftlich-technische Progmmmierspmche FORTRAN-SC. ZAMM 69:4 (1989), T52–T54.
39. Walter, W.V., FORTRAN 66, 77, 88, -SC… —Ein Vergleich der numerischen Eigenschaften von FORTRAN 88 und FORTRAN-SC. ZAMM 70:6 (1990), T584–T587.
40. W.V. Walter Flexible Precision Control and Dynamic Data Structures for Programming Mathematical and Numerical Algorithms. Ph. D. thesis, Univ. Karlsruhe, 1990.
41. Walter, W.V., Jahrbuch Überblicke Mathematik 1991. Fortran 90: Was bringt der neue Fortran-Standard für das numerische Progmmmieren?, 1991, Vieweg, Braunschweig, 151–175.
42. W.V. Walter A Comparison of the Numerical Facilities of FORTRAN-SC and Fortran 90. Proc. of 13th IMACS World Congress on Computation and Appl. Math. (IMACS ’91) in Dublin, Vol. 1, 30–31, IMACS, 1991.