Skip to content
Register Sign in Wishlist
Programming in Ada 2012 with a Preview of Ada 2022

Programming in Ada 2012 with a Preview of Ada 2022

2nd Edition

  • Date Published: May 2022
  • availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
  • format: Adobe eBook Reader
  • isbn: 9781009190879

Adobe eBook Reader

Add to wishlist

Other available formats:
Paperback


Looking for an examination copy?

This title is not currently available for examination. However, if you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact [email protected] providing details of the course you are teaching.

Description
Product filter button
Description
Contents
Resources
Courses
About the Authors
  • 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.

    • The definitive resource for over 40 years for students and software engineers learning the Ada language
    • Updated to fully conform with the corrigendum for Ada 2012 published by ISO in 2016 and to include an appendix introducing Ada 2022
    • Additional resources and further information on Ada 2022 are available via www.cambridge.org/barnes12-22
    • Contains nearly 300 exercises, with solutions available online
    • Accessible for newcomers to the language, with four introductory chapters covering basic features plus examples and exercises
    • Six complete executable programs illustrate the core features of the language in action
    Read more

    Reviews & endorsements

    ‘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

    See more reviews

    Customer reviews

    Not yet reviewed

    Be the first to review

    Review was not posted due to profanity

    ×

    , create a review

    (If you're not , sign out)

    Please enter the right captcha value
    Please enter a star rating.
    Your review must be a minimum of 12 words.

    How do you rate this item?

    ×

    Product details

    • Edition: 2nd Edition
    • Date Published: May 2022
    • format: Adobe eBook Reader
    • isbn: 9781009190879
    • availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
  • 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 A. Reserved words, etc.
    Appendix B. Glossary
    Appendix C. Syntax
    Appendix D. Introducing Ada 2022
    Answers to exercises
    Bibliography
    Index.

  • Resources for

    Programming in Ada 2012 with a Preview of Ada 2022

    John Barnes

    Find resources associated with this title

    Type Name Unlocked * Format Size

    Showing of

    Back to top

    This title is supported by one or more locked resources. Access to locked resources is granted exclusively by Cambridge University Press to instructors whose faculty status has been verified. To gain access to locked resources, instructors should sign in to or register for a Cambridge user account.

    Please use locked resources responsibly and exercise your professional discretion when choosing how you share these materials with your students. Other instructors may wish to use locked resources for assessment purposes and their usefulness is undermined when the source files (for example, solution manuals or test banks) are shared online or via social networks.

    Supplementary resources are subject to copyright. Instructors are permitted to view, print or download these resources for use in their teaching, but may not change them or use them for commercial gain.

    If you are having problems accessing these resources please contact [email protected].

  • Author

    John Barnes, John Barnes Informatics
    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).

Related Books

Sorry, this resource is locked

Please register or sign in to request access. If you are having problems accessing these resources please email [email protected]

Register Sign in
Please note that this file is password protected. You will be asked to input your password on the next screen.

» Proceed

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×

Continue ×
warning icon

Turn stock notifications on?

You must be signed in to your Cambridge account to turn product stock notifications on or off.

Sign in Create a Cambridge account arrow icon
×

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.

Cancel

Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

×
Please fill in the required fields in your feedback submission.
×