Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E)

✍ Scribed by S. Tucker Taft, Robert A. Duff (auth.), S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2013
• Tongue: English
• Leaves: 935
• Series: Lecture Notes in Computer Science 8339 Programming and Software Engineering
• Edition: 1
• Category: Library

✦ Synopsis

The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual combines all of the previous corrections of Technical Corrigendum 1 and Amendment 1 with changes and additions that improve the capabilities of the language and the reliability of programs written in the language. The Ada 2012 Reference Manual will replace the former versions as an indispensable working companion for anybody using Ada professionally or learning and studying the language systematically.

✦ Table of Contents

Front Matter....Pages -
General....Pages 1-9
Lexical Elements....Pages 11-20
Declarations and Types....Pages 21-94
Names and Expressions....Pages 95-138
Statements....Pages 139-151
Subprograms....Pages 153-174
Packages....Pages 175-192
Visibility Rules....Pages 193-208
Tasks and Synchronization....Pages 209-247
Program Structure and Compilation Issues....Pages 249-264
Exceptions....Pages 265-277
Generic Units....Pages 279-298
Representation Issues....Pages 299-349
Back Matter....Pages -

✦ Subjects

Programming Techniques; Programming Languages, Compilers, Interpreters; Operating Systems; Software Engineering