Ada for the C++ or Java Developer

Nowadays it seems like talking about programming languages is a bit passé. The technical wars of the past decade
have subsided and today we see a variety of high-level and well-established languages offering functionality that can
meet the needs of any programmer.
Python, Java, C++, C#, and Visual Basic are recent examples. Indeed, these languages make it easier to write code
very quickly, are very flexible, offer features with highly dynamic behavior, and some even allow compilers to deduce
the developer’s probable intent.
Why, then, talk about yet another language? Well, by addressing the general programming market, the aforementioned
languages have become poorly suited for working within the domain of high-integrity systems. In highly reliable,
secure and safe applications such as those found in and around airplanes, rockets, satellites, trains, and in any device
whose failure could jeopardize human life or critical assets, the programming languages used must support the high
standard of software engineering necessary to maintain the integrity of the system.