Units-of-Measure Correctness in Fortran Programs

Units-of-Measure Correctness in Fortran Programs

Repository URI

https://www.repository.cam.ac.uk/handle/1810/251311

Files

Contrastin et al. 2015 Computing in Science & Engineering.pdf (791.42 KB)

Type

Authors

Contrastin, Mistral

Rice, Andrew

https://orcid.org/0000-0002-4677-8032

Danish, Matthew

https://orcid.org/0000-0002-7186-387X

Orchard, Dominic

Abstract

The authors argue that they can increase confidence in Fortran programs with unit annotations and CamFort units-of-measure analysis.

Keywords

46 Information and Computing Sciences, 4601 Applied Computing

Journal Title

Computing in Science & Engineering

Journal ISSN

1521-9615
1558-366X

Volume Title

18

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Publisher DOI

https://doi.org/10.1109/mcse.2016.17

Rights and licensing

Except where otherwised noted, this item's license is described as http://www.rioxx.net/licenses/all-rights-reserved

Sponsorship

Engineering and Physical Sciences Research Council (EP/M026124/1)

This work was supported by the Engineering and Physical Sciences Research Council (EP/M026124/1). The second author additionally thanks the Software Sustainability Institute for its support.

Collections

Scholarly Works - Computer Science and Technology
Symplectic mapped items for data match