Advertisement

A Survey of Physical Unit Handling Techniques in Ada

  • Christoph Grein
  • Dmitry A. Kazakov
  • Fraser Wilson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2655)

Abstract

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.

Keywords

Type Item Private Part Derive Type Physical Item Dimension Check 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Do-While Jones, Dimensional Data Types, Dr. Dobb’s Journal of Software Tools, 50–62, May 1987Google Scholar
  2. [2]
    Do-While Jones, Ada in Action, John Wiley & Sons, Inc., 1989Google Scholar
  3. [3]
    N.H. Gehani, Ada’s Derived Types and Units of Measure, Software — Practice and Experience, Vol. 15(6), 555–569, June 1985CrossRefGoogle Scholar
  4. [4]
    P.N. Hilfinger, An Ada Package for Dimensional Analysis, ACM Transactions on Programming Languages and Systems, Vol. 10(2), 189–203, April 1988CrossRefGoogle Scholar
  5. [5]
    H.J. Schneider, Physikalische Maßeinheiten und das Typkonzept moderner Programmiersprachen, Informatik-Spektrum (1988) 11: 256–263Google Scholar
  6. [6]
  7. [7]
  8. [8]
    J. Shen, G.V. Cormack, Automatic Instantiation in Ada, ACM 0-89791-445-7/91/1000-0338 $1.50Google Scholar
  9. [9]
    D.A. Kazakov, Units of Measurement for Ada http://www.dmitry-kazakov.de/ada/units.htm
  10. [10]
    C. Grein, Physikalische Dimensionen in Ada, Softwaretechnik-Trends, Band 22 Heft 4, November 2002, http://home.T-Online.de/home/Christ-Usch.Grein/Ada/SI.html

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Christoph Grein
    • 1
  • Dmitry A. Kazakov
    • 2
  • Fraser Wilson
    • 3
  1. 1.ESG-Elektroniksystem- und Logistik-GmbHMünchen
  2. 2.cbb software GmbHLübeck
  3. 3.Anago b.v.Houten

Personalised recommendations