291
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Towards a Semantics For Multidimensional Array Assignment in Fortran 95

      proceedings-article
      , ,
      5th Irish Workshop on Formal Methods (IWFM)
      Irish Workshop on Formal Methods
      16-17 July 2001
      Bookmark

            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.

            Content

            Author and article information

            Conference
            July 2001
            July 2001
            : 1-29
            Affiliations
            [0001]School of Computer Science

            The Queen’s University of Belfast

            Northern Ireland
            Article
            10.14236/ewic/IWFM2001.5
            51f2adc3-e9df-4473-9d16-9b447cfaf54a
            © N. Reid et al. Published by BCS Learning and Development Ltd. 5th Irish Workshop on Formal Methods, Dublin, Ireland

            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/

            5th Irish Workshop on Formal Methods
            IWFM
            5
            Dublin, Ireland
            16-17 July 2001
            Electronic Workshops in Computing (eWiC)
            Irish Workshop on Formal Methods
            Product
            Product Information: 1477-9358BCS 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/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article