Skip to main content
SpringerLink
Log in

Ada 2005 Reference Manual. Language and Standard Libraries

International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1

  • Book
  • © 2006

Overview

Authors:
  1. S. Tucker Taft
    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Robert A. Duff
    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Randall L. Brukardt
    View author publications

    You can also search for this author in PubMed   Google Scholar

  4. Erhard Ploedereder
    View author publications

    You can also search for this author in PubMed   Google Scholar

  5. Pascal Leroy
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4348)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 chapters)

  1. Front Matter

    Download chapter PDF

  2. Section 1: General

    1. Section 1: General

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 1-8

    2. Section 2: Lexical Elements

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 9-18

    3. Section 3: Declarations and Types

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 19-85

    4. Section 4: Names and Expressions

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 87-122

    5. Section 5: Statements

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 123-132

    6. Section 6: Subprograms

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 133-147

    7. Section 7: Packages

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 149-163

    8. Section 8: Visibility Rules

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 165-179

    9. Section 9: Tasks and Synchronization

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 181-218

    10. Section 10: Program Structure and Compilation Issues

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 219-234

    11. Section 11: Exceptions

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 235-246

    12. Section 12: Generic Units

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 247-265

    13. Section 13: Representation Issues

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 267-304

  3. The Standard Libraries

    1. Front Matter

      Pages 305-305
      Download chapter PDF

    2. Annex A (normative): Predefined Language Environment

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 307-470

    3. Annex B (normative): Interface to Other Languages

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 471-498

    4. Annex C (normative): Systems Programming

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 499-514

    5. Annex D (normative): Real-Time Systems

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 515-551

    6. Annex E (normative): Distributed Systems

      • S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
      Pages 553-565
Back to top

Keywords

About this book

The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 expected to be approved by ISO in late 2006 or early 2007. Both the Technical Corrigendum 1 and the Amendment 1 list only the changes made to the International Standard.

The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions as an indispensable working companion for anybody using Ada professionally or learning and studying the language systematically. In naming this version, we have chosen the vernacular term Ada 2005 used by the Ada community to refer to the interesting extensions made to the language Ada by the Amendment 1.

Bibliographic Information

  • Book Title: Ada 2005 Reference Manual. Language and Standard Libraries

  • Book Subtitle: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1

  • Authors: S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-540-69336-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag GmbH Germany 2006

  • Softcover ISBN: 978-3-540-69335-2Published: 22 December 2006

  • eBook ISBN: 978-3-540-69336-9Published: 18 May 2007

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XXIX, 765

  • Topics: Programming Languages, Compilers, Interpreters, Programming Techniques, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation