Programming in Ada 2012 with a Preview of Ada 2022

AvJohn Barnes

Häftad, Engelska, 2022

1 235 kr

Beställningsvara. Skickas inom 11-20 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

1 511 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2022-05-19
Mått:189 x 246 x 50 mm
Vikt:1 739 g
Format:Häftad
Språk:Engelska
Antal sidor:994
Upplaga:2
Förlag:Cambridge University Press
ISBN:9781009181341

Utforska kategorier

Mer om författaren

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

Recensioner i media

'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

Innehållsförteckning

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.