We provide a units-of-measure type system for Fortran as a pre-processor. This provides a lightweight verification tool for computational science code.
Sep 23, 1999 · x is a length (dimension) x is in metres (unit of measure) unit(x * y) = (unit x) * (unit y) unit(x / y) = (unit x) / (unit y).
Dimensional analysis is a well known technique for checking the consistency of equations involving physical quantities, constituting a kind of type system.
Jun 12, 2021 · This library provides all the functionality necessary to almost treat quantities with units associated with them as though they were just intrinsic real values.
Checking the consistency of units-of-measure is akin to type checking, and solutions to the problem have been developed on this basis. Type checking systems ...
Distribution of % unit coverage. Evolving Fortran types with inferred units-of-measure. Article. Full-text available. Apr 2015. Dominic Orchard ...
ผู้เขียนร่วม ดูทั้งหมด ; Evolving Fortran types with inferred units-of-measure. D Orchard, A Rice, O Oshmyan. Journal of Computational Science, 2015. 15, 2015 ...
People also ask
What are the types of intrinsic data types of Fortran?
What is a unit in Fortran?
[PDF] Units-of-Measure Correctness in Fortran Programs | Semantic ...
www.semanticscholar.org › paper
The authors argue that they can increase confidence in Fortran programs with unit annotations and CamFort units-of-measure analysis by improving the quality ...
Evolving Fortran types with inferred units-of-measure. Dominic Orchard, Andrew Rice, Oleg Oshmyan Journal of Computational Science - Special issue on ...
“Evolving Fortran types with inferred units- of-measure”. In: Journal of Computational Science (2015). [7] W. V. Snyder. ISO/IEC JTC1/SC22/WG5 N1969. Tech ...