A Survey of Physical Unit Handling Techniques in Ada

There has always been a demand to be able to compute with physical items where dimensional correctness is checked. A survey of methods is presented how to do this with the features of Ada. Compile-time methods use the type checking mechanism whereas run-time methods use additional components to represent dimensions.