Abstract
We present the design and implementation of a dimensionality checking system in Ada 2012. The system is implemented in the GNAT compiler, and performs compile-time checks to verify the dimensional consistency of physical computations. The system allows the user to define his own system of units, and imposes no run-time changes nor multiple compilation passes on the user.
- C. Grein, D.A Kazakov, and Fraser Wilson: A survey of Physical Units Handling Techniques in Ada. Ada-Europe 2003, LNCS Vol. 2655, p.258--270. Springer, Heidelberg (2003) Google Scholar
Digital Library
- Ada Reference Manual, 13.3.1 Aspect Specifications. (2011) http://www.ada- auth.org/standards/12rm/html/RM-13--3--1.htmlGoogle Scholar
- C.Grein: Handling Physical Dimensions in Ada. (28 April 2008) http://www.christ-usch-grein.homepage.t- online.de/Ada/Dimension.htmlGoogle Scholar
- Paul N. Hilfinger: An Ada package for dimensional analysis. ACM Transactions on Programming Languages, 10, 2 (189--203) (Aprll 1988) Google Scholar
Digital Library
- Microsoft Developer Network, Units of Measure (F#). (May 2010) http://msdn.microsoft.com/en-us/library/dd233243.aspxGoogle Scholar
Index Terms
Implementation of a simple dimensionality checking system in Ada 2012
Recommendations
Implementation of a simple dimensionality checking system in Ada 2012
HILT '12: Proceedings of the 2012 ACM conference on High integrity language technologyWe present the design and implementation of a dimensionality checking system in Ada 2012. The system is implemented in the GNAT compiler, and performs compile-time checks to verify the dimensional consistency of physical computations. The system allows ...
Towards Ada 2012: an interim report
SIGAda 2010The Ada Rapporteur Group [ARG] following the directives of ISO/IEC/JTC1/SC22/WG9 is preparin and update to the Ada 2005 standard. This paper presents a snapshot of the more important language enhancements under discussion. Even though these enhancements ...
Towards Ada 2012: an interim report
SIGAda '10: Proceedings of the ACM SIGAda annual international conference on SIGAdaThe Ada Rapporteur Group [ARG] following the directives of ISO/IEC/JTC1/SC22/WG9 is preparin and update to the Ada 2005 standard. This paper presents a snapshot of the more important language enhancements under discussion. Even though these enhancements ...







Comments