Options
Garantiert richtige Ergebnisse auf Rechenanlagen
Citation Link: https://doi.org/10.15480/882.358
Publikationstyp
Conference Paper
Publikationsdatum
1988
Sprache
German
Author
Institut
Citation
Informationsverarbeitung in Lehre und Forschung : wissenschaftliches Forum 1988, München
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. (...)
Loading...
Name
S0001119.pdf
Size
446.76 KB
Format
Adobe PDF