Units-of-Measure Correctness in Fortran Programs
Change log
Authors
Contrastin, M
Orchard, D
Abstract
The authors argue that they can increase confidence in Fortran programs with unit annotations and CamFort units-of-measure analysis.
Description
Keywords
scientific computing, Fortran, scientific programming, measurement, units
Journal Title
Computing in Science and Engineering
Conference Name
Journal ISSN
1521-9615
1558-366X
1558-366X
Volume Title
18
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publisher DOI
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.