Precise inference of expressive units of measurement types
T ** with units of measurement
S McKeever - International Conference on Model-Driven Engineering …, 2021 - Springer
Physical quantities expressed as units of measurement (UoM) are used regularly in scientific
and engineering applications. The loss of the Mars climate orbiter, attributed to a confusion …
and engineering applications. The loss of the Mars climate orbiter, attributed to a confusion …
[PDF][PDF] Managing Quantities and Units of Measurement in Code Bases
S McKeever - 2023 - diva-portal.org
Quantities in engineering and the physical sciences are expressed as units of measurement
(UoM). If a software system fails to maintain the algebraic attributes of a system's UoM …
(UoM). If a software system fails to maintain the algebraic attributes of a system's UoM …