Mastodon Feed
Reblogged by cstanhope@social.coop ("Charles Stanhope"):
wim@rpi.limited.systems wrote:
my paper "Making legacy Fortran code type safe through automated program transformation" has just been published in Journal of Supercomputing, as Open Access:
"We present the first rigorous analysis of the type safety of FORTRAN 77 and the novel program transformation and type checking algorithms required to convert FORTRAN 77 subroutines and functions into pure, side-effect free subroutines and functions in Fortran 90.
We show that the resulting code is type safe and that the pure, side-effect free and referentially transparent subroutines can readily be offloaded to accelerators."https://link.springer.com/article/10.1007/s11227-021-03839-9