AdaAda is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages. It has built-in language support for explicit concurrency, offering tasks, synchronous message passing, protected objects, and non-determinism. Ada is an international standard; the current version is defined by ISO/IEC 8652:2012.
The above text is a snippet from Wikipedia: Ada (programming language)
and as such is available under the Creative Commons Attribution/Share-Alike License.