Making legacy Fortran code type safe through automated program transformation

Fortran is still widely used in scientific computing, and a very large corpus of legacy as well as new code is written in FORTRAN 77. In general this code is not type safe, so that incorrect programs can compile without errors. In this paper, we present a formal approach to ensure type safety of leg...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	The Journal of supercomputing Jg. 78; H. 2; S. 2988 - 3028
1. Verfasser:	Vanderbauwhede, Wim
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Springer US 01.02.2022 Springer Nature B.V
Schlagworte:	Algorithms Automation Compilers Computer Science Errors FORTRAN Interpreters Processor Architectures Programming Languages Safety Subroutines Transformations Type system Type safety Acceleration Program transformation Fortran
ISSN:	0920-8542, 1573-0484
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!