Towards a Semantics For Multidimensional Array Assignment in Fortran 95

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.

Content

Author and article information

Conference

Publication date: July 2001

Publication date (Print): July 2001

Pages: 1-29

Affiliations

[0001]School of Computer Science

The Queen’s University of Belfast

Northern Ireland

Article

DOI: 10.14236/ewic/IWFM2001.5

SO-VID: 51f2adc3-e9df-4473-9d16-9b447cfaf54a

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: 5th Irish Workshop on Formal Methods

Conference acronym: IWFM

Conference number: 5

Conference location: Dublin, Ireland

Conference date: 16-17 July 2001

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Irish Workshop on Formal Methods

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/IWFM2001.5

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Towards a Semantics For Multidimensional Array Assignment in Fortran 95

Abstract