Garantiert richtige Ergebnisse auf Rechenanlagen

Abstract

Jeder einzelnde der [im Beitrag] zusammengestellten Aspekte (...) bringt einen deutlichen Sicherheitsgewinn, die fünf Punkte zusammengenommen heben die so erstellte Software auf einen neuen Qualitätsstandard. Die Programmierwerkzeuge CALCULUS und ABACUS erlauben die prägnante Formulierung von Algorithmen. Diese Algorithmen können als ausführbare Spezifikation für Produktionsprogramme dienen und leisten bei der täglichen Entwicklungsarbeit unschätzbare Dienste. Darüber hinaus wird durch die mächtigen Operationen eine nachfolgende Vektorisierung oder Parallelisierung der Algorithmen wesentlich unterstützt: Wird ein Algorithmus zunächst in einer herkömmlichen Programmiersprache implementiert und nachher durch einen automatisch vektorisierenden oder parallelisierenden Compiler übersetzt, muß der Compiler die inhärente mathematische Struktur aus den Programmstrukturen wieder herausfiltern, was häufig sehr schwierig oder kaum möglich ist. Duch die mathematische Schreibweise und die mächtigen Operatoren entfällt das Auseinanderdividieren und Zusammenfügen der Strukturen, eine Vektorisierung oder Parallelisierung kann den Anweisungen unmittelbar entnommen werden. (...)