Programming in Ada 2012 with a Preview of Ada 2022

John Barnes was a founder member of the Ada design team and the software company Alsys UK. He gives lectures on Ada and popular mathematics, and has authored 13 books, including 'Gems of Geometry' (2012), 'SPARK – The proven approach to High Integrity Software' (2012), and 'Nice Numbers' (2016).

• Foreword Steve Baird and Jeff Cousins; Preface; Part I. An Overview: 1. Introduction; 2. Simple concepts; 3. Abstraction; 4. Programs and libraries; Program 1. Magic moments; Part II. Algorithmic Aspects: 5. Lexical style; 6. Scalar types; 7. Control structures; 8. Arrays and records; 9. Expression structures; 10. Subprograms; 11. Access types; Program 2. Sylvan sorter; Part III. The Big Picture: 12. Packages and private types; 13. Overall structure; Program 3. Rational reckoner; 14. Object oriented programming; 15. Exceptions; 16. Contracts; 17. Numeric types; 18. Parameterized types; 19. Generics; 20. Tasking; 21. Object oriented techniques; 22. Tasking techniques; Program 4. Super sieve; Part IV. Completing the Story: 23. Predefined library; Program 5. Wild words; 24. Container library; 25. Interfacing; Program 6. Playing pools; 26. The specialized annexes; 27. Finale; Appendix A. Reserved words, etc.; Appendix B. Glossary; Appendix C. Syntax; Appendix D. Introducing Ada 2022; Answers to exercises; Bibliography; Index.

'As he has done similarly before, in this special edition of his classic 'Programming in Ada' text, John Barnes introduces the reader to a new version of Ada, namely 'Ada 2022', with both rigour and vigor. John is unique in his ability to explain new Ada features in a way that makes them both immediately understandable and immediately usable, because of the helpful context and witty examples he provides. As a member of the group that maintains the Ada language standard, John knows the ins and outs of why the features ended up as they did, but he seems to always be the best at rising above the minutiae the typical language design team member worries about, to see the big picture and how the new feature fits into the overall language, and how it can benefit the programmers building critical applications in Ada.' S. Tucker Taft, Director of Language Research, Ada Core