Units-of-Measure Correctness in Fortran Programs

Contrastin, Mistral; Orchard, Dominic; Rice, Andrew; Danish, Matthew

View / Open Files

Contrastin et al. 2015 Computing in Science & Engineering.pdf (PDF, 791Kb)

Authors

Contrastin, Mistral

Orchard, Dominic

Rice, Andrew

Danish, Matthew

Publication Date

2015-12-21

Journal Title

Computing in Science & Engineering

ISSN

1521-9615

Publisher

IEEE

Volume

Pages

102-107

Language

English

Type

Article

Metadata

Show full item record

Citation

Contrastin, M., Orchard, D., Rice, A., & Danish, M. (2015). Units-of-Measure Correctness in Fortran Programs. Computing in Science & Engineering, 18 102-107. https://doi.org/10.1109/MCSE.2016.17

Abstract

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

Keywords

scientific computing, Fortran, scientific programming, measurement, units

Sponsorship

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.

Funder references

EPSRC (EP/M026124/1)

Identifiers

External DOI: https://doi.org/10.1109/MCSE.2016.17

This record's URL: https://www.repository.cam.ac.uk/handle/1810/251311

Rights

Licence:

http://www.rioxx.net/licenses/all-rights-reserved