Who doesn’t want to use a programming language that is designed ... and run through some Ada code that gets one familiarized with the syntax and basic principles of the Ada syntax.

The contract-based programming features fit in smoothly with Ada’s object-oriented programming ... is that contracts are part of the standard language syntax and semantics where they can be ...

Unlike most programming languages, Ada’s strong typing and ... This is accomplished by exploiting the strengths of the Ada syntax while eliminating the features of the language that introduce ...