Skip to main content
  • Book
  • © 2006

Ada 2005 Reference Manual. Language and Standard Libraries

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

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

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

Buy it now

Buying options

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

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

Table of contents (28 chapters)

  1. Front Matter

  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
    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

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

Buy it now

Buying options

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