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

Full description

Saved in:

Bibliographic Details
Published in:	The Journal of supercomputing Vol. 78; no. 2; pp. 2988 - 3028
Main Author:	Vanderbauwhede, Wim
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.02.2022 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!