Ada is a modern programming language designed for large, long life applications.
The structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language is extended from Pascal and other languages.
Features include a built-in language support for design-by-contract, strong typing, explicit concurrency, synchronous message passing, and protected objects.
Ada is designed to improve code safety and maintainability by using the compiler in order to find errors in favour of runtime errors.
