Programming in Ada 2012 with a Preview of Ada 2022

The established textbook on the Ada language for 40 years, now covering the 2016 ISO Corrigendum and introducing Ada 2022.

John Barnes (Author)

9781009181341, Cambridge University Press

Paperback / softback, published 19 May 2022

992 pages
24.4 x 18.8 x 5.1 cm, 1.872 kg

'This latest book on Ada by John Barnes continues a tradition of easy readability and subtle humor that belies the depth of understanding required to make a complex subject accessible. The details of semantics and syntax remain well balanced with rationale and design intent as the new book covers the most recent updates to Ada 2012. As each part of Ada 2012 is covered, relevant Ada 2022 material is introduced, with references to an annex dedicated to Ada 2022. Thus the reader can focus on the language version currently most in use, yet also learn the exciting capabilities coming in Ada 2022. When teaching Ada courses I've invariably recommended John's latest book because each represents the best combination of technical detail and examples of how the language can be elegantly applied. I'm sure I will recommend this latest book as well.' Patrick Rogers, Ph.D., Convenor of ISO/IEC JTC 1/SC22/ WG 9, the ISO working group responsible for the Ada standard

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 introduces the key new features in Ada 2022. The book is in four parts. It begins by introducing the fundamental concepts for newcomers, before moving onto algorithmic aspects and then structural features such as OOP and multitasking. The fourth part gives details of the standard library and interaction with the external environment. Six complete executable programs illustrate the core features of the language in action. The book concludes with an appendix focussing on the new features in Ada 2022. These new features aid program proof and the efficient use of multicore architectures.

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.

Subject Areas: Computer architecture & logic design [UYF], Software Engineering [UMZ], Programming & scripting languages: general [UMX]