Brussels / 2 & 3 February 2013


Compile-Time Dimensionality Checking

This talk presents the design and usage of a dimensionality checking system in Ada 2012.

The purpose of dimensional analysis is to verify dimension consistency within physical relations, preventing errors such as the loss of the Mars Climate Orbiter because one module used metric units and another one imperial units. The presentation will describe how to perform compile-time checks to verify the dimensional consistency of physical computations, allowing the user to define his own system of units.


José F. Ruiz