ACM Home Page
Please provide us with feedback. Feedback
GNAT: on the road to Ada 2005
Full text PdfPdf (179 KB)
Source Annual International Conference on Ada archive
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies table of contents
Atlanta, Georgia, USA
Pages: 51 - 60  
Year of Publication: 2004
ISBN:1-58113-906-3
Also published in ...
Authors
Javier Miranda  University of Las Palmas de Gran Canaria, Spain
Edmond Schonberg  New York University and AdaCore Technologies
Sponsors
ACM: Association for Computing Machinery
SIGADA: ACM Special Interest Group on Ada Programming Language
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 0,   Downloads (12 Months): 10,   Citation Count: 1
Additional Information:

abstract   references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/1032297.1032307
What is a DOI?

ABSTRACT

The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features proposed for the language revision. In this paper we summarize the Ada 2005 issues already implemented in the development version of GNAT, and give a brief overview of the implementation of the more complex ones. We find that the proposed language enhancements fit well into the existing compiler structure, and present no major implementation hurdles.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
ARG. Abstract interfaces to provide multiple inheritance. Ada Issue 251, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00251.TXT.
 
2
ARG. Abstract non-dispatching operations. Ada Issue 310, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00310.TXT.
 
3
ARG. Access to constant parameters and null-excluding access subtypes. Ada Issue 231, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00231.TXT.
 
4
ARG. Aggregates for limited types. Ada Issue 287, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00287.TXT.
 
5
ARG. Anonymous access to subprogram types. Ada Issue 254, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00254.TXT.
 
6
ARG. Generalized use of anonymous access types. Ada Issue 230, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00230.TXT.
 
7
ARG. Limited with clause. Ada Issue 217, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-50217.TXT.
 
8
ARG. New pragma and additional restriction identifiers for real-time. Ada Issue 305, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00305.TXT.
 
9
ARG. Object.Operation notation. Ada Issue 252, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00252.TXT.
 
10
ARG. Private with clause. Ada Issue 262, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00262.TXT.
 
11
ARG. Ravenscar profile for high-integrity systems. Ada Issue 249, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00249.TXT.
 
12
ARG. Resolution of 'access. Ada Issue 235, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00235.TXT.
 
13
ARG. Subprograms within private compilation units. Ada Issue 220, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00220.TXT.
 
14
ARG. Unchecked Unions: Variant records with no run-time discriminant. Ada Issue 216, http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00216.TXT.
 
15
 
16
E. International. C\# Language Specification --- Standard ECMA-334 (2nd edition). Standardizing Information and Communication Systems, December, 2002.
 
17
P. Leroy. An Invitation to Ada 2005. 8th Ada-Europe International Conference on Reliable Software Technologies, LNCS 2265:1--23, June 2003.
 
18
S. Taft, R. A. Duff, and R. L. B. and Erhard Ploedereder (Eds). Consolidated Ada Reference Manual with Technical Corrigendum 1. Language Standard and Libraries. ISO/IEC 8652:1995(E). Springer Verlag. ISBN: 3-540-43038-5, 2000.


Collaborative Colleagues:
Javier Miranda: colleagues
Edmond Schonberg: colleagues