Programming in Ada 2022

by John Barnes

Overview

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.

Product Details

ISBN-13:	9781009564779
Publisher:	Cambridge University Press
Publication date:	11/28/2024
Pages:	958
Product dimensions:	7.40(w) x 9.65(h) x 1.93(d)

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).

Table 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.

Editorial Reviews

‘This new revision of 'Programming In Ada' will ensure that it remains the essential companion of any Ada practitioner. It is a useful guide that brings to life the more formal language of the 'Ada Reference Manual'. As one has come to expect of John's work, it includes many practical examples which will no doubt go on to be used as templates for much real code.' Jeff Cousins, CEng FIET, Member and past Chair of the Ada Rapporteur Group

‘With the introduction of the Ada 2022 revision of the Ada programming language, we have a new collection of language features with definitions that need explaining, interactions with other features that need clarifying, and potential applications that need illustrating. Fortunately, this latest edition of John Barnes' excellent book admirably meets this need in a way that will be useful for both Ada beginners and experienced Ada users.' Steve Baird, Chair of the Ada Rapporteur Group

‘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. […] 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

‘As he has done similarly before, in this new edition of his classic 'Programming in Ada' text, John Barnes guides the reader through the latest version of Ada, namely 'Ada 2022', with both rigour and vigor. John is unique in his ability to explain 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 a 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

From the Publisher