Evolving Fortran types with inferred units-of-measure
Journal of Computational Science
MetadataShow full item record
Orchard, D., Rice, A., & Oshmyan, O. (2015). Evolving Fortran types with inferred units-of-measure. Journal of Computational Science, 9 156-162. https://doi.org/10.1016/j.jocs.2015.04.018
Dimensional analysis is a well known technique for checking the consistency of equations involv- ing physical quantities, constituting a kind of type system. Various type systems for dimensional analysis, and its re nement to units-of-measure, have been proposed. In this paper, we detail the design and implementation of a units-of-measure system for Fortran, provided as a pre- processor. Our system is designed to aid adding units to existing code base: units may be polymorphic and can be inferred. Furthermore, we introduce a technique for reporting to the user a set of critical variables which should be explicitly annotated with units to get the maxi- mum amount of unit information with the minimal number of explicit declarations. This aids adoption of our type system to existing code bases, of which there are many in computational science projects.
units-of-measure, dimension typing, type systems, verification, code base evolution, Fortran, language design
This work was supported in part by a Google Focussed Research Award and by EPSRC grant EP/K011715/1.
External DOI: https://doi.org/10.1016/j.jocs.2015.04.018
This record's URL: https://www.repository.cam.ac.uk/handle/1810/248216
Attribution 2.0 UK: England & Wales, Creative Commons Attribution License 2.0 UK
Licence URL: http://creativecommons.org/licenses/by/2.0/uk/
Recommended or similar items
The following licence files are associated with this item: