×

FORTRAN-SC. Eine Fortran-Erweiterung für wissenschaftliches Rechnen. (German) Zbl 0682.68022

Wissenschaftliches Rechnen mit Ergebnisverifikation, Math. Res. 58, 45-67 (1989).
Summary: [For the entire collection see Zbl 0679.00017.]
FORTRAN-SC ist eine vollständig implementierte Erweiterung von FORTRAN 77. Die Sprache eignet sich besonders für das Programmieren numerischer Anwendungen. Insbesondere können in FORTRAN-SC Algorithmen formuliert werden, die hochgenaue und automatisch verifizierte Ergebnisse liefern. Durch Intervallarithmetik kann die exakte Lösung eines Problems eingeschlossen werden. Das genaue Skalarprodukt vermeidet Auslöschung und verbessert die Genauigkeit der Ergebnisse oft erheblich. Intervalloperatoren und Vektor-Matrix-Operatoren sind in FORTRAN-SC vordefiniert. Alle arithmetischen Operatoren, insbesondere auch Produkte von Vektoren und Matrizen, sind bis auf eine Einheit in der letzten Stelle genau. Einige FORTRAN-SC Konzepte sind denen des im wesentlichen beschlossenen FORTRAN 88-Standards sehr ähnlich. So ermöglichen dynamische Felder eine einfache Handhabung von Feldern variabler Größe und eine optimale Speichernutzung. Außerdem können Funktionen und Operatoren auch ein Feldergebnis haben. Dadurch wird eine mathematische Schreibweise für Vektor- und Matrix-Ausdrücke ermöglicht, die durch benutzerdefinierte Operatoren erweiterbar ist. Eine Auswahl typischer Anwendungsbeispiele aus dem technisch- wissenschaftlichen Bereich soll die vereinfachte Programmierung mit den neuen Konzepten aufzeigen.

MSC:

68N99 Theory of software
68N01 General topics in the theory of software
68W30 Symbolic computation and algebraic computation

Citations:

Zbl 0679.00017

Software:

FORTRAN-SC