Evolving Fortran types with inferred units-of-measure

Orchard, Dominic A. and Rice, Andrew C. and Oshmyan, Oleg (2015) Evolving Fortran types with inferred units-of-measure. Journal of Computational Science, 9 . pp. 156-162. ISSN 1877-7503. (doi:https://doi.org/10.1016/j.jocs.2015.04.018) (Full text available)

PDF - Author's Accepted Manuscript
Download (255kB) Preview
[img]
Preview
Official URL
http://dx.doi.org/10.1016/j.jocs.2015.04.018

Abstract

Dimensional analysis is a well known technique for checking the consistency of equations involving physical quantities, constituting a kind of type system. Various type systems for dimensional analysis, and its refinement 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.

Item Type: Article
Uncontrolled keywords: units-of-measure, dimension typing, type systems, verification, code base evolution, Fortran, language design
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Dominic Orchard
Date Deposited: 27 Oct 2016 10:20 UTC
Last Modified: 17 Jan 2017 21:18 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/57483 (The current URI for this page, for reference purposes)
Orchard, Dominic A.: https://orcid.org/0000-0002-7058-7842
  • Depositors only (login required):

Downloads

Downloads per month over past year