Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) - Taft, S. Tucker; Duff, Robert A; Brukardt, Randall L; Ploedereder, Erhard; Leroy, Pascal; Schonberg, Edmond (Berlin, Heidelberg : Springer Berlin Heidelberg, 2013)
General -- Lexical Elements -- Declarations and Types -- Names and Expressions -- Statements -- Subprograms -- Packages -- Visibility Rules -- Tasks and Synchronization -- Program Structure and Compilation Issues -- Exceptions -- Generic Units -- Representation Issues -- The Standard Libraries -- Annex A (normative) Predefined Language Environment -- Annex B (normative) Interface to Other Languages -- Annex C (normative) Systems Programming -- Annex D (normative) Real-Time Systems -- Annex E (normative) Distributed Systems -- Annex F (normative) Information Systems -- Annex G (normative) Numerics -- Annex H (normative) High Integrity Systems -- Annex J (normative) Obsolescent Features -- Annex K (informative) Language-Defined Aspects and Attributes -- Annex L (informative) Language-Defined Pragmas -- Annex M (informative) Summary of Documentation Requirements -- Annex N (informative) Glossary -- Annex P (informative) Syntax Summary -- Annex Q (informative) Language-Defined Entities -- Index.
Keywords: Computer science; Computer programming; Software engineering; Programming languages (Electronic computers).; Operating systems (Computers).