Programming in Ada 2012 with a Preview of Ada 2022

John Barnes (John Barnes Informatics)

$154.95

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Cambridge University Press
19 May 2022

Programming & scripting languages: general; Software Engineering; Computer architecture & logic design

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.

By: John Barnes (John Barnes Informatics)
Imprint: Cambridge University Press
Country of Publication: United Kingdom
Edition: 2nd Revised edition
Dimensions: Height: 244mm, Width: 188mm, Spine: 51mm
Weight: 1.872kg
ISBN: 9781009181341
ISBN 10: 1009181343
Pages: 992
Publication Date: 19 May 2022
Audience: General/trade , ELT Advanced
Format: Paperback
Publisher's Status: Active

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.

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

Reviews for Programming in Ada 2012 with a Preview of Ada 2022

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