Free Downloads
Ada 2012 Rationale: The Language -- The Standard Libraries (Lecture Notes In Computer Science)

Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals for the new version were to further enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Many important new features have been included such as those defining dynamic contracts and for handling multiprocessors and are integrated within the existing language framework in an elegant and coherent manner. The Ada 2012 Rationale describes not only the changes from Ada 2005 but also the reason for the changes. It starts with an introduction providing a general overview and this is followed by seven chapters focusing on contracts and aspects; extended expressions; structure and visibility; tasking and real time; iterators and pools; predefined library and containers. The book concludes with an epilogue largely concerned with compatibility issues.

Series: Lecture Notes in Computer Science (Book 8338)

Paperback: 213 pages

Publisher: Springer; 2013 edition (December 4, 2013)

Language: English

ISBN-10: 3642452094

ISBN-13: 978-3642452093

Product Dimensions: 6.6 x 0.5 x 9.2 inches

Shipping Weight: 13.4 ounces (View shipping rates and policies)

Average Customer Review: Be the first to review this item

Best Sellers Rank: #3,589,902 in Books (See Top 100 in Books) #46 in Books > Computers & Technology > Programming > Languages & Tools > Ada #624 in Books > Computers & Technology > Programming > Languages & Tools > Compilers #3025 in Books > Textbooks > Computer Science > Operating Systems

Ada 2012 Rationale: The Language -- The Standard Libraries (Lecture Notes in Computer Science) Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E) (Lecture Notes in Computer Science) Ada 2005 Rationale: The Language, The Standard Libraries (Lecture Notes in Computer Science) Rationale for the Design of the Ada Programming Language (The Ada Companion Series) DOS: Programming Success in a Day: Beginners guide to fast, easy and efficient learning of DOS programming (DOS, ADA, Programming, DOS Programming, ADA ... LINUX, RPG, ADA Programming, Android, JAVA) Computer Analysis of Images and Patterns: 7th International Conference, CAIP '97, Kiel, Germany, September 10-12, 1997. Proceedings. (Lecture Notes in Computer Science) Computer Analysis of Images and Patterns: 8th International Conference, CAIP'99 Ljubljana, Slovenia, September 1-3, 1999 Proceedings (Lecture Notes in Computer Science) Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead: 21st International Conference, ICCPOL 2006, Singapore, ... (Lecture Notes in Computer Science) The Use of Projective Geometry in Computer Graphics (Lecture Notes in Computer Science) Body Language: Body Language Training - Attract Women & Command Respect, by Mastering Your High Status Body Language (Body Language Attraction, Body Language ... Language Secrets, Nonverbal Communication) Software Engineering for Large-Scale Multi-Agent Systems: Research Issues and Practical Applications (Lecture Notes in Computer Science) Cryptography and Coding: 6th IMA International Conference, Cirencester, UK, December 17-19, 1997, Proceedings (Lecture Notes in Computer Science) Advances in Artificial Intelligence: Theories, Models, and Applications: 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings (Lecture Notes in Computer Science) The Semantic Web - ISWC 2008: 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings (Lecture Notes in Computer Science) Electronic Government: First International Conference, EGOV 2002, Aix-en-Provence, France, September 2-5, 2002. Proceedings (Lecture Notes in Computer Science) Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science) HACKING: Beginner's Crash Course - Essential Guide to Practical: Computer Hacking, Hacking for Beginners, & Penetration Testing (Computer Systems, Computer Programming, Computer Science Book 1) The Presidential Libraries Act and the Establishment of Presidential Libraries Improbable Libraries: A Visual Journey to the World's Most Unusual Libraries Hands-on Study Guide for Exam 70-411: Administering Windows Server 2012 R2 (Exam 70-411, 70-411, Exam Ref 70-411, MCSA Windows Server 2012 R2, MCSE Windows Server 2012 R2)