skip to main content
research-article

A new robust and efficient implementation of controlled types in the GNAT compiler

Published:02 December 2012Publication History
Skip Abstract Section

Abstract

This paper discusses a new implementation model for supporting Ada controlled types in the GNAT compiler. After reviewing the semantics of controlled types, we revisit the original implementation from 1995 and discuss its performance issues. We then describe a new model which addresses all existing limitations and is shown to be superior to its predecessor. Finally, we conclude the paper with the status of the new implementation and possible future enhancements.

References

  1. C. Comar, G. Dismukes, and F. Gasperoni. The gnat implementation of controlled types. In Conference Proceedings of TRI-Ada 94, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. E.Schonberg and B. Banner. The gnat project: A gnu-ada9x compiler. In Conference Proceedings of TRI-Ada 94, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. S. T. Taft, R. A. Duff, R. L. Brukardt, E. Ploedereder, and P. L. (Eds.). Ada 2005 Reference Manual - Language and Standard Libraries. Springer, Germany, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. A new robust and efficient implementation of controlled types in the GNAT compiler

      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!