A prescriptive semantics of Fortran 95

Reid, N.; Wray, Johnston Paul

doi:10.1145/328239.333386

Cited by 1 publication

(2 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There is some work on formalisation of data abstraction, specifically encapsulation to create abstract arrays in FORTRAN 77 [3] and on the formal specification of abstract data types implemented through derived types in Fortran 90 [9,16]. There is also some work on the formalisation of Fortran 95 semantics using VDM [15] but there is no publication on the final outcome. Specifically with regards to the type system, the only work that we are aware of is on the extension of Fortran 90 types with an attribute reflecting the unit of measurement [4].…”

Section: Formalisation Of Fortranmentioning

confidence: 99%

“…The f77 specification defines specific intrinsic functions int, real, dble and cmplx for the purpose of type conversion (Table 5), and the Fortran 90 specification extends these to include the kind (thereby making dble redundant). Their signatures are, respectively: 15 As the name and the kind argument identify a Num type, for the typing rules we use the generic notation 16 Fortran allows implicit type conversions (coercion) for operators and assignments, according to some simple subtyping rules.…”

Section: Type Conversions For Polymorphic Operatorsmentioning

confidence: 99%

See 1 more Smart Citation

Making legacy Fortran code type safe through automated program transformation

Vanderbauwhede

2021

J Supercomput

View full text Add to dashboard Cite

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 legacy Fortran code through automated program transformation. The objective of this work is to reduce programming errors by guaranteeing type safety. 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 have implemented these algorithms in a source-to-source compiler which type checks and automatically transforms the legacy code. 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.

show abstract