Types for Units-of-Measure: Theory and Practice

  title={Types for Units-of-Measure: Theory and Practice},
  author={Andrew Kennedy},
Units-of-measure are to science what types are to programming. In science and engineering, dimensional and unit consistency provides a first check on the correctness of an equation or formula, just as in programming the validation of a program by the type-checker eliminates one possible reason for failure. Units-of-measure errors can have catastrophic consequences, the most famous of which was the loss in September 1999 of NASA’s Mars Climate Orbiter probe, caused by a confusion between newtons… CONTINUE READING
Highly Cited
This paper has 61 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 28 extracted citations

Inferring physical units in formal models

Software & Systems Modeling • 2015
View 4 Excerpts
Highly Influenced

Toward Code-Aware Robotic Simulation

2018 IEEE/ACM 1st International Workshop on Robotics Software Engineering (RoSE) • 2018
View 1 Excerpt

Dimensional inconsistencies in code and ROS messages: A study of 5.9M lines of code

2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) • 2017
View 2 Excerpts

61 Citations

Citations per Year
Semantic Scholar estimates that this publication has 61 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 20 references

Formalizing an extensional semantics for units of measure

A. J. Kennedy
In 3rd ACM SIGPLAN Workshop on Mechanizing Metatheory (WMM), • 2008
View 1 Excerpt


E. Allen, D. Chase, +3 authors S. Ryu
L. Steele Jr., and S. Tobin-Hochstadt. The Fortress Language Specification, Version 1.0, • 2008
View 1 Excerpt

and S

M. C. Schabe
Watanabe. Boost.Units, • 2008
View 2 Excerpts

dimensional: statically checked physical dimensions for Haskell

B. Buckwalter
View 1 Excerpt

Applied Dimensional Analysis and Modeling

T. Szirtes
Butterworth-Heinemann, second edition, • 2007
View 1 Excerpt