Ada

From Wikiversity
Jump to navigation Jump to search
Ada logo with slogan

Ada is a structured, statically typed, imperative, and object-oriented high-level computer programming language, extended from Pascal and other languages. It has built-in language support for design-by-contract, extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors.[1]

Resources[edit | edit source]

See Also[edit | edit source]

References[edit | edit source]