Towards a semantics for multidimensional array assignment in fortran 95

Authors:
N. Reid;P. Kilpatrick;M. Clint
Affiliations:
School of Computer Science, The Queen's University of Belfast, Northern Ireland;School of Computer Science, The Queen's University of Belfast, Northern Ireland;School of Computer Science, The Queen's University of Belfast, Northern Ireland
Venue:
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Year:
2001

Citing 3
Cited 0

Systematic software development using VDM (2nd ed.)

Systematic software development using VDM (2nd ed.)
Reasoning about data-parallel array assignment

Journal of Parallel and Distributed Computing
FORTRAN 95 Handbook

FORTRAN 95 Handbook

Quantified Score

Hi-index	0.00

Visualization

Abstract

Fortran is in its sixth decade of use, with little to show in the way of support for formal approaches to establishing program correctness. Fortran 95, the current dialect, exhibits parallelism through data-parallel assignment. This paper presents an approach to the formalisation of the data-parallel assignment aspects of the language, by providing a model of multidimensional arrays and data-parallel assignment over those arrays, utilising the VDM-SL map type.