Show simple item record

dc.contributor.authorOrchard, Dominicen
dc.contributor.authorRice, Andrewen
dc.contributor.authorOshmyan, Olegen
dc.date.accessioned2015-06-03T13:25:05Z
dc.date.available2015-06-03T13:25:05Z
dc.date.issued2015-04-18en
dc.identifier.citationJournal of Computational Science, Volume 9, July 2015, Pages 156–162. http://dx.doi.org/10.1016/j.jocs.2015.04.018en
dc.identifier.issn1877-7503
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/248216
dc.description.abstractDimensional 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.
dc.description.sponsorshipThis work was supported in part by a Google Focussed Research Award and by EPSRC grant EP/K011715/1.
dc.languageEnglishen
dc.language.isoenen
dc.publisherElsevier
dc.rightsAttribution 2.0 UK: England & Wales*
dc.rightsCreative Commons Attribution License 2.0 UK
dc.rights.urihttp://creativecommons.org/licenses/by/2.0/uk/*
dc.subjectunits-of-measureen
dc.subjectdimension typingen
dc.subjecttype systemsen
dc.subjectverificationen
dc.subjectcode base evolutionen
dc.subjectFortranen
dc.subjectlanguage designen
dc.titleEvolving Fortran types with inferred units-of-measureen
dc.typeArticle
dc.description.versionThis is the final version. It first appeared at http://www.sciencedirect.com/science/article/pii/S1877750315000563.en
prism.endingPage162
prism.publicationDate2015en
prism.publicationNameJournal of Computational Scienceen
prism.startingPage156
prism.volume9en
dc.rioxxterms.funderEPSRC
dc.rioxxterms.projectidEP/K011715/1
rioxxterms.versionofrecord10.1016/j.jocs.2015.04.018en
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.licenseref.startdate2015-04-18en
dc.contributor.orcidRice, Andrew [0000-0002-4677-8032]
rioxxterms.typeJournal Article/Reviewen
pubs.funder-project-idEPSRC (EP/M026124/1)


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution 2.0 UK: England & Wales
Except where otherwise noted, this item's licence is described as Attribution 2.0 UK: England & Wales