03919nam 2200601 450 991048491220332120210904115128.01-280-86402-897866108640273-540-69336-X10.1007/978-3-540-69336-9(CKB)1000000000283687(SSID)ssj0000287918(PQKBManifestationID)11247435(PQKBTitleCode)TC0000287918(PQKBWorkID)10373112(PQKB)11478659(DE-He213)978-3-540-69336-9(MiAaPQ)EBC3036653(MiAaPQ)EBC6503891(Au-PeEL)EBL6503891(OCoLC)262693960(PPN)123140323(EXLCZ)99100000000028368720210904d2006 uy 0engurnn#008mamaatxtccrAda 2005 reference manual language and standard libraries, international standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 /edited by S. Tucker Taft [and four others]1st ed. 2006.Berlin, Germany ;New York, New York :Springer-Verlag,[2006]©20061 online resource (XXIX, 765 p.)Programming and Software Engineering ;4348Includes index.3-540-69335-1 Includes bibliographical references and index.Section 1: General -- Section 1: General -- Section 2: Lexical Elements -- Section 3: Declarations and Types -- Section 4: Names and Expressions -- Section 5: Statements -- Section 6: Subprograms -- Section 7: Packages -- Section 8: Visibility Rules -- Section 9: Tasks and Synchronization -- Section 10: Program Structure and Compilation Issues -- Section 11: Exceptions -- Section 12: Generic Units -- Section 13: 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 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.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.Programming and Software Engineering ;4348Ada (Computer program language)Handbooks, manuals, etcAda (Computer program language)005.133Taft S. TuckerMiAaPQMiAaPQMiAaPQBOOK9910484912203321Ada 2005 Reference Manual1515117UNINA