Programming in Ada 2012 with a Preview of Ada 2022 (Paperback)

John Barnes

ISBN 10: 1009181343 / ISBN 13: 9781009181341

Published by Cambridge University Press, Cambridge, 2022

About this Item

Paperback. 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. This latest edition of 'Programming in Ada' covers the full details of the core language Ada 2012 as updated by the 2016 ISO Corrigendum and introduces the key new features planned for Ada 2022. It is sure to become the go-to resource for those wishing to learn the language or to program in it. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Seller Inventory # 9781009181341

Bibliographic Details

• Title: Programming in Ada 2012 with a Preview of Ada 2022 (Paperback)
• Publisher: Cambridge University Press, Cambridge
• Publication Date: 2022
• Language: English
• ISBN 10: 1009181343
• ISBN 13: 9781009181341
• Binding: Paperback
• Edition: 2nd Edition
• Condition: new

About this title

Synopsis

The established textbook on the Ada language for 40 years, now covering the 2016 ISO Corrigendum and introducing Ada 2022.

About the Author

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