skip to main content
research-article

Towards Ada 2012: an interim report

Published:24 October 2010Publication History
Skip Abstract Section

Abstract

The 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 are not yet in their final form and will not become part of the new standard until approved by ISO, the description that follows is an accurate reflection of the main directions in which the language is evolving. However, the names of packages, subprograms, and formal parameters, as well as some details of the syntax might change from what is presented here.

References

  1. Tucker Taft, S., Duff, R.A., Brukardt, R.L, Ploedereder, E., Leroy, P.: Ada Reference Manual, LNCS, vol, 4348, Springer, Heidelberg (2006)Google ScholarGoogle Scholar
  2. Fowler, M.: UML distilled, Third Edition, Pearson Education, Boston, MA (2004)Google ScholarGoogle Scholar
  3. Barnes, J.: High Integrity Software; The SPARK approach to Safety and Security, Pearson Education, Boston, MA (2003) Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Special issue of Ada Letters on the proceedings of IRTAW-14, Porto Venere, Italy, 2009 (in press)Google ScholarGoogle Scholar
  5. Sergio Saez and Alfonso Crespo: Preliminary Support of Ada 2012 in GNU/Linux systems: Ada-Europe 2010, LNCS) Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar Profile in High Integrity Systems. Ada Lett. XXIV (2), 1--74 (2004) Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Towards Ada 2012: an interim report

          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 30, Issue 3
            SIGAda 2010
            December 2010
            63 pages
            ISSN:1094-3641
            DOI:10.1145/1879097
            Issue’s Table of Contents
            • cover image ACM Conferences
              SIGAda '10: Proceedings of the ACM SIGAda annual international conference on SIGAda
              October 2010
              90 pages
              ISBN:9781450300278
              DOI:10.1145/1879063

            Copyright © 2010 ACM

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 24 October 2010

            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!