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.
- Tucker Taft, S., Duff, R.A., Brukardt, R.L, Ploedereder, E., Leroy, P.: Ada Reference Manual, LNCS, vol, 4348, Springer, Heidelberg (2006)Google Scholar
- Fowler, M.: UML distilled, Third Edition, Pearson Education, Boston, MA (2004)Google Scholar
- Barnes, J.: High Integrity Software; The SPARK approach to Safety and Security, Pearson Education, Boston, MA (2003) Google Scholar
Digital Library
- Special issue of Ada Letters on the proceedings of IRTAW-14, Porto Venere, Italy, 2009 (in press)Google Scholar
- Sergio Saez and Alfonso Crespo: Preliminary Support of Ada 2012 in GNU/Linux systems: Ada-Europe 2010, LNCS) Google Scholar
Digital Library
- 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 Scholar
Digital Library
Index Terms
Towards Ada 2012: an interim report
Recommendations
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 ...
Towards a compiler front-end for Ada
SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on The ADA programming languageThis paper discusses the current development of a compiler front-end for Ada at the University of Karlsruhe. The front-end is independent of the target-machine and will compile Ada into an intermediate language AIDA, essentially an attributed structure ...
Towards ada 2012: an interim report
Ada-Europe'10: Proceedings of the 15th Ada-Europe international conference on Reliable Software TechnologiesThe 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 ...







Comments