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 ScholarDigital 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 ScholarDigital 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 ScholarDigital Library
Index Terms
- Towards Ada 2012: an interim report
Recommendations
Towards Ada 2012: an interim report
SIGAda 2010The 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 ...
Distributed and parallel execution in Ada 83
WPDRTS '95: Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time SystemsSince the standardization of the Ada programming language in 1989, much research has gone into the distribution of Ada programs across a number of separate processors. However, no standard for distribution of Ada 89 programs has emerged. A new language ...
The new semantic model in ASIS for Ada 2005
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologiesFollowing the new Ada 2005 standard, the ASIS interface has to be upgraded. In addition to supporting the representation of new features, ASIS has been extended with a semantic subsystem, where queries support the logical views of entities rather than ...
Comments