Read more
The latest version of 'Programming in Ada' covers the full details of the core language Ada 2022 as approved by ISO in 2023, including new features that aid program proof and the efficient use of multicore architectures. The book is arranged in four parts. The first part introduces the key ideas to the newcomer with a working example illustrating the basic ideas. The algorithmic features, structural features such as OOP and multitasking, and details of the standard library and interaction with the external environment are all covered in subsequent parts. This comprehensive guide includes several working examples and is enhanced by a range of supplementary online materials, including a dozen complete executable programs, five of which illustrate important new features. 'Programming in Ada' is a must-have for anyone looking to learn Ada programming language, and will serve as a definitive reference for years to come.
List of contents
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 1. Reserved words, etc.; Appendix 2. Glossary; Answers to Exercises; Bibliography; Index.
About the author
John Barnes was a founder member of the Ada design team and the software company Alsys UK. He gives occasional lectures on Ada and popular mathematics, and has authored 14 books, including 'Gems of Geometry' (2012) and 'Nice Numbers' (2016).
Summary
This latest version of 'Programming in Ada' covers the full details of the core language Ada 2022 as recently approved by ISO. New features aid program proof and the efficient use of multicore architectures. The go-to resource for anyone learning the language or wishing to program in it!
Foreword
The established textbook on the Ada language for over 40 years, updated to cover the full details of Ada 2022.
