skip to main content
research-article

Implementation of a simple dimensionality checking system in Ada 2012

Published:02 December 2012Publication History
Skip Abstract Section

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.

References

  1. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  2. Ada Reference Manual, 13.3.1 Aspect Specifications. (2011) http://www.ada- auth.org/standards/12rm/html/RM-13--3--1.htmlGoogle ScholarGoogle Scholar
  3. C.Grein: Handling Physical Dimensions in Ada. (28 April 2008) http://www.christ-usch-grein.homepage.t- online.de/Ada/Dimension.htmlGoogle ScholarGoogle Scholar
  4. Paul N. Hilfinger: An Ada package for dimensional analysis. ACM Transactions on Programming Languages, 10, 2 (189--203) (Aprll 1988) Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Microsoft Developer Network, Units of Measure (F#). (May 2010) http://msdn.microsoft.com/en-us/library/dd233243.aspxGoogle ScholarGoogle Scholar

Index Terms

  1. Implementation of a simple dimensionality checking system in Ada 2012

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM SIGAda Ada Letters
        ACM SIGAda Ada Letters  Volume 32, Issue 3
        HILT '12
        December 2012
        89 pages
        ISSN:1094-3641
        DOI:10.1145/2402709
        Issue’s Table of Contents
        • cover image ACM Conferences
          HILT '12: Proceedings of the 2012 ACM conference on High integrity language technology
          December 2012
          118 pages
          ISBN:9781450315050
          DOI:10.1145/2402676

        Copyright © 2012 ACM

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 2 December 2012

        Check for updates

        Qualifiers

        • research-article

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!