Barnes J. Programming in Ada 2012

Cambridge: Cambridge University Press, 2014. — 971 p.Ada is the language of choice for the majority of programmers involved in writing safety-critical and high-integrity software. Previous editions of John Barnes' books established themselves as the definitive references for earlier versions of Ada. With the release of the latest ISO standard, Ada 2012, this new book will become recognised as the go-to resource for those wishing to learn the language or to program in it.An Overview:Simple concepts
Abstraction
Programs and libraries
Program 1. Magic moments
Algorithmic Aspects:
Lexical style
Scalar types
Control structures
Arrays and records
Expression structures
Subprograms
Access types
Program 2. Sylvan sorter
The Big Picture:
Packages and private types
Overall structure
Program 3. Rational reckoner
Object oriented programming
Exceptions
Contracts
Numeric types
Parameterized types
Generics
Tasking
Object oriented techniques
Tasking techniques
Program 4. Super sieve
Completing the Story:
Predefined library
Program 5. Wild words
Container library
Interfacing
Program 6. Playing pools
The specialized annexes
Finale
Reserved words, etc.Syntax
Answers to exercises