skip to main content
10.1145/1454474.1454491acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
research-article

Implementing the extended return statement for Ada 2005

Published: 26 October 2008 Publication History

Abstract

Ada 2005 adds an important capability to the language by allowing the construction and return of an object of a limited type by a function. New syntax for an extended return statement was added to enhance this capability further. This capability to return newly constructed objects of a limited type from a function, when combined with the additional capability to use aggregates to construct objects of a limited type, goes a long way to making use of limited types far more friendly and effective.
Although the extended return statement and the associated ability to construct and return objects of a limited type brings new power to Ada, it also brings new choices and challenges to the Ada compiler implementor, when trying to decide how best to implement this feature. This presentation will review some of these alternatives, and present a high-level description of one particular approach based on the notion of an object creation context (OCC) which is designed to minimize the complexity of the generated code while providing an efficient and flexible implementation.

References

[1]
ISO/IEC 8652:1995(E) Information technology. "Programming languages - Ada". International Standard published by ISO/IEC in 1995. http://www.adaic.org/standards/ada95.html.
[2]
ISO/IEC 8652:2007(E) Ed. 3 Information technology. "Programming languages - Ada". International Standard published by ISO/IEC in 2007. http://www.adaic.org/standards/ada05.html.
[3]
ISO/IEC 14882:1998 Information technology. "Programming languages - C++". International Standard published by ISO/IEC in 1998.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SIGAda '08: Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
October 2008
150 pages
ISBN:9781605582740
DOI:10.1145/1454474
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 October 2008

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. ada 2005
  2. build in place
  3. extended return statement
  4. limited types

Qualifiers

  • Research-article

Conference

SIGAda '08: ACM SIGAda Annual International Conference
October 26 - 30, 2008
OR, Portland, USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 30 Jan 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media