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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Do-While Jones, Dimensional Data Types, Dr. Dobb’s Journal of Software Tools, 50–62, May 1987
Do-While Jones, Ada in Action, John Wiley & Sons, Inc., 1989
N.H. Gehani, Ada’s Derived Types and Units of Measure, Software — Practice and Experience, Vol. 15(6), 555–569, June 1985
P.N. Hilfinger, An Ada Package for Dimensional Analysis, ACM Transactions on Programming Languages and Systems, Vol. 10(2), 189–203, April 1988
H.J. Schneider, Physikalische Maßeinheiten und das Typkonzept moderner Programmiersprachen, Informatik-Spektrum (1988) 11: 256–263
C. Grein, Vom Urknall zum Universum, Ada Aktuell 1.1 (März 1993) German: http://home.T-Online.de/home/Christ-Usch.Grein/Ada/Universum.html English: http://home.T-Online.de/home/Christ-Usch.Grein/Ada/Universe.html
F. Wilson, Macks, http://www.blancolioni.org/ada/macks
J. Shen, G.V. Cormack, Automatic Instantiation in Ada, ACM 0-89791-445-7/91/1000-0338 $1.50
D.A. Kazakov, Units of Measurement for Ada http://www.dmitry-kazakov.de/ada/units.htm
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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grein, C., Kazakov, D.A., Wilson, F. (2003). A Survey of Physical Unit Handling Techniques in Ada. In: Rosen, JP., Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe 2003. Ada-Europe 2003. Lecture Notes in Computer Science, vol 2655. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44947-7_19
Download citation
DOI: https://doi.org/10.1007/3-540-44947-7_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40376-0
Online ISBN: 978-3-540-44947-8
eBook Packages: Springer Book Archive