Skip to main content
SpringerLink
Log in

Towards Ada 2012: An Interim Report

  • Conference paper
Reliable Software Technologiey – Ada-Europe 2010 (Ada-Europe 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6106))

Included in the following conference series:

  • 379 Accesses

Abstract

The Ada Rapporteur Group (ARG), following the instructions of ISO/IEC JTC1/SC22/WG9 is preparing an 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 proposed 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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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 Scholar 

  2. Fowler, M.: UML distilled, 3rd edn. Pearson Education, Boston (2004)

    Google Scholar 

  3. Barnes, J.: High Integrity Software. In: The SPARK approach to Safety and Security, Pearson Education, Boston (2003)

    Google Scholar 

  4. Special issue of Ada Letters on the proceedings of IRTAW-14, Portovenere, Italy (2009) (in press)

    Google Scholar 

  5. Sáez, S., Crespo, A.: Preliminary Support of Ada2012 in GNU/Linux systems: Ada-Europe 2010. LNCS (2010) (these proceedings)

    Google Scholar 

  6. Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar Profile in High Integrity Systems. Ada Letters XXIV(2), 1–74 (2004)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. AdaCore Inc.,  

    Edmond Schonberg

Authors
  1. Edmond Schonberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universidad Politécnica de Valencia, DISCA-ETSINF, Camino de Vera s/n, 46022, Valencia, Spain

    Jorge Real

  2. Department of Pure and Applied Mathematics, University of Padua, Via Trieste 63, 35121, Padua, Italy

    Tullio Vardanega

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schonberg, E. (2010). Towards Ada 2012: An Interim Report. In: Real, J., Vardanega, T. (eds) Reliable Software Technologiey – Ada-Europe 2010. Ada-Europe 2010. Lecture Notes in Computer Science, vol 6106. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13550-7_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13550-7_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13549-1

  • Online ISBN: 978-3-642-13550-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation