A prescriptive semantics of Fortran 95
Nathan B. Reid, J. P. Wray · ACM SIGPLAN Fortran Forum · 1999
This paper outlines current research into a prescriptive semantics of Fortran 95, as a means of investigating the language's strengths and shortcomings. Additionally, it is intended that this research will provide a foundation for the application of rigor to Fortran programming.