Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for design by contract (DbC), 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. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC). As of May 2023, the standard, ISO/IEC 8652:2023, is called Ada 2022 informally. Wikipedia

Created Year: 1980
Designed by: S. Tucker Taft • Jean Ichbiah
Developed by: S. Tucker Taft • Jean Ichbiah
Named after: Ada Lovelace
Aliases: MIL-STD-1815, ISO/IEC 8652

Wikidata: Q154755

Influenced: Austral • C++ • Chapel • Concurrent C • Eiffel • Erlang • Java • Nim • ParaSail • PL/pgSQL • PL/SQL • Raku • Ruby • Seed7 • XL

Influenced by: Ada 95 • C++ • Eiffel • Green • Java • Modula-2 • Pascal • Smalltalk

Programming paradigms: imperative programming • structured programming • multi-paradigm programming • object-oriented programming

Language types: multi-paradigm programming language • object-based language • imperative programming language • wide-spectrum language