Ada has carved itself a niche in the safety-critical/embedded/real-time areas. It is the language of choice in application areas where reliability, long term maintainability and similar features are very important. Typical of such areas are defence embedded systems, railway signalling, air traffic control and so on.

Note especially that SPARK which is very successful for critical systems is based on Ada. No other language really has a suitable underlying structure.

This latest edition of the highly successful 'Programming in Ada' has been fully updated to the latest version of the language: Ada 2005.

• An Overview
  • Introduction
  • Simple concepts
  • Abstraction
  • Programs and libraries
  • Program 1 : magic moments
• Algorithmic Aspects
  • Lexical style
  • Scalar types
  • Control structures
  • Arrays and records
  • Subprograms
  • Access types
  • Program 2 : Sylvan sorter
• The big picture
  • Packages and private types
  • Overall structure
  • Program 3 : rational reckoner
  • Object oriented programming
  • Exceptions
  • 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
  • A1 Reserved words, attributes and pragmas