Ada 2012 Rationale

Ada 2012 Rationale
Author :
Publisher : Springer
Total Pages : 216
Release :
ISBN-10 : 9783642452109
ISBN-13 : 3642452108
Rating : 4/5 (108 Downloads)

Book Synopsis Ada 2012 Rationale by : John Barnes

Download or read book Ada 2012 Rationale written by John Barnes and published by Springer. This book was released on 2013-11-19 with total page 216 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Ada 2012 Rationale Related Books

Ada 2012 Rationale
Language: en
Pages: 216
Authors: John Barnes
Categories: Computers
Type: BOOK - Published: 2013-11-19 - Publisher: Springer

DOWNLOAD EBOOK

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 repla
Ada 2012 Reference Manual. Language and Standard Libraries
Language: en
Pages: 935
Authors: S. Tucker Taft
Categories: Computers
Type: BOOK - Published: 2014-01-14 - Publisher: Springer

DOWNLOAD EBOOK

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 R
Programming in Ada 2012
Language: en
Pages: 993
Authors: John Barnes
Categories: Computers
Type: BOOK - Published: 2022-05-19 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This latest edition of 'Programming in Ada' covers the full details of the core language Ada 2012 as updated by the 2016 ISO Corrigendum and introduces the key
Programming in Ada 2012 with a Preview of Ada 2022
Language: en
Pages: 994
Authors: John Barnes
Categories: Computers
Type: BOOK - Published: 2022-05-19 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The latest edition of the definitive guide to the Ada language covers the full details of the core language Ada 2012 as updated by the 2016 ISO Corrigendum and
Reliable Software Technologies – Ada-Europe 2018
Language: en
Pages: 179
Authors: António Casimiro
Categories: Computers
Type: BOOK - Published: 2018-06-11 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portug