The Ida Pro Book

IDA is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages. It has strong 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 (known as Ada 2005) is defined by joint ISO/ANSI standard,[2] combined with major Amendment ISO/IEC 8652:1995/Amd 1:2007