High Integrity Software: The SPARK Approach to Safety and Security
High Integrity Software: The SPARK Approach to Safety and Security
Guide for the use of the Ada Ravenscar Profile in high integrity systems
ACM SIGAda Ada Letters
Preliminary multiprocessor support of ada 2012 in GNU/Linux systems
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
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.