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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	The Journal of supercomputing Ročník 78; číslo 2; s. 2988 - 3028
Hlavný autor:	Vanderbauwhede, Wim
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York Springer US 01.02.2022 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!