Programming in Ada 2005

Programming in Ada 2005 John Barnes "This book is going to be a tremendous resource that will prove useful for many years. It combines a broad description of the entire language, including its predefined libraries, with an in-depth study of a number of areas of particular interest such as object-oriented techniques or concurrency. It includes extensive examples showing how the numerous features of Ada can be made to work together in practical situations." ~ Pascal Leroy, Chairman of the Ada Rapporteur Group. "Programming in Ada 2005" is the definitive tutorial and reference for a ground-breaking new version of Ada (Ada 2005), a significant revision of "the" language of choice for applications where safety, security and reliability are paramount. The major changes from Ada 95 are: O A new OO model to incorporate Java-style multiple inheritance and more rigorous error analysis prior to execution;O Synchronized interfaces to unify the OO and concurrent domains - a radical innovation in language design;O More flexible but totally safe manipulation of pointers;O An improved structure enabling large programs to be decomposed more easily;O Many extensions to the Real-Time facilities, keeping Ada ahead of other languages for embedded applications;O Improved interfacing to other systems and languages;O Enhanced standard library support including containers. John Barnes was a key member of the original Ada design team and has been a pivotal figure in its evolution ever since. Over 150,000 students and software engineers have learned Ada from previous editions - widely praised for their witty and urbane style. He is also the authorof "High Integrity Software: The SPARK Approach to Safety and Security."Barnes, John is the author of 'Programming in Ada 2005 ', published 2006 under ISBN 9780321340788 and ISBN 0321340787.