Towards Ada 2012: an interim report
暂无分享,去创建一个
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.
[1] Alfons Crespo,et al. Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems , 2010, Ada-Europe.
[2] John G. P. Barnes,et al. High Integrity Software - The SPARK Approach to Safety and Security , 2003 .
[3] Alan Burns,et al. Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.