Ada (programming language)

E8676
concurrent programming language high-level programming language imperative programming language object-oriented programming language programming language statically typed programming language

Ada is a statically typed, high-level programming language designed with strong support for reliability, safety, and real-time systems, widely used in mission-critical and embedded applications such as aerospace and defense.

Aliases (14)

Statements (69)

Predicate Object
instanceOf concurrent programming language →
high-level programming language →
imperative programming language →
object-oriented programming language →
programming language →
statically typed programming language →
designedFor embedded systems →
real-time systems →
reliable software systems →
safety-critical systems →
developedBy Department of Defense →
surface form: "United States Department of Defense"
domain mission-critical applications →
real-time embedded applications →
safety-critical applications →
firstStandardized 1983 →
hasFeature contract-based programming (via SPARK and aspects) →
exception handling →
explicit concurrency →
generics →
modular compilation →
packages →
protected objects →
real-time scheduling support →
rendezvous-based synchronization →
representation clauses for low-level control →
separate specification and body files →
strong encapsulation →
strong typing →
tasking model →
hasImplementation GNU Compiler Collection →
surface form: "GNAT"

GNU Compiler Collection →
surface form: "GNAT Community"

GNU Compiler Collection →
surface form: "GNAT Pro"

ObjectAda →
Ravenscar profile implementations →
hasProfile Ravenscar profile →
hasSubset Ada (programming language) →
surface form: "SPARK Ada"
hasVersion Ada (programming language) →
surface form: "Ada 2005"

Ada (programming language) →
surface form: "Ada 2012"

Ada (programming language) →
surface form: "Ada 2022"

Ada (programming language) →
surface form: "Ada 83"

Ada (programming language) →
surface form: "Ada 95"
memorySafety emphasized →
namedAfter Ada Lovelace →
paradigm concurrent programming →
generic programming →
imperative programming →
object-oriented programming →
reliability emphasized →
safety emphasized →
standardizedBy International Organization for Standardization →
surface form: "ISO"
standardName ISO/IEC 8652 →
supports access types (pointers) →
embedded systems programming →
enumeration types →
high-integrity software development →
protected types →
range-constrained numeric types →
real-time systems programming →
systems programming →
tagged types (for OOP) →
task types →
typingDiscipline static typing →
strong typing →
usedIn aerospace industry →
air traffic control systems →
avionics software →
defense industry →
railway signaling systems →
spacecraft software →

Referenced by (35)

Full triples — surface form annotated when it differs from this entity's canonical label.

Ravenscar profile → appliesToLanguage → Ada (programming language) →
this entity surface form: "Ada"
PL/SQL → basedOn → Ada (programming language) →
this entity surface form: "Ada"
gnat → conformsTo → Ada (programming language) →
subject surface form: "GNAT"
this entity surface form: "Ada 95 standard"
gnat → conformsTo → Ada (programming language) →
subject surface form: "GNAT"
this entity surface form: "Ada 2005 standard"
Ada Lovelace → givenName → Ada (programming language) →
this entity surface form: "Ada"
Ada (programming language) → hasSubset → Ada (programming language) →
this entity surface form: "SPARK Ada"
Ada (programming language) → hasVersion → Ada (programming language) →
this entity surface form: "Ada 83"
Ada (programming language) → hasVersion → Ada (programming language) →
this entity surface form: "Ada 95"
Ada (programming language) → hasVersion → Ada (programming language) →
this entity surface form: "Ada 2005"
Ada (programming language) → hasVersion → Ada (programming language) →
this entity surface form: "Ada 2012"
Ada (programming language) → hasVersion → Ada (programming language) →
this entity surface form: "Ada 2022"
ALGOL 60 → influenced → Ada (programming language) →
this entity surface form: "Ada"
Algol 68 → influenced → Ada (programming language) →
this entity surface form: "Ada"
Modula-2 → influenced → Ada (programming language) →
this entity surface form: "Ada (module concepts)"
Pascal → influenced → Ada (programming language) →
C++ → influencedBy → Ada (programming language) →
this entity surface form: "Ada"
Ruby → influencedBy → Ada (programming language) →
this entity surface form: "Ada"
Yukihiro Matsumoto → influencedBy → Ada (programming language) →
this entity surface form: "Ada"
ISO/IEC 8652 → languageName → Ada (programming language) →
this entity surface form: "Ada"
ISO/IEC 8652 → languageVersion → Ada (programming language) →
this entity surface form: "Ada 95"
gnat → programmingLanguageCompiled → Ada (programming language) →
subject surface form: "GNAT"
this entity surface form: "Ada"
ObjectAda → programmingLanguageSupported → Ada (programming language) →
this entity surface form: "Ada"
ISO/IEC 8652 → specifies → Ada (programming language) →
this entity surface form: "Ada language reference manual"
ISO/IEC 8652 → standardFor → Ada (programming language) →
this entity surface form: "Ada programming language"
Ravenscar profile → standardizedIn → Ada (programming language) →
this entity surface form: "Ada 2005"
Ravenscar profile → standardizedIn → Ada (programming language) →
this entity surface form: "Ada 2012"
ISO/IEC 8652 → successorOf → Ada (programming language) →
this entity surface form: "MIL-STD-1815A (Ada)"
gnat → supportsLanguage → Ada (programming language) →
subject surface form: "GNAT"
this entity surface form: "Ada 95"
gnat → supportsLanguage → Ada (programming language) →
subject surface form: "GNAT"
this entity surface form: "Ada 2005"
gnat → supportsLanguage → Ada (programming language) →
subject surface form: "GNAT"
this entity surface form: "Ada 2012"
GNU Compiler Collection → supportsLanguage → Ada (programming language) →
this entity surface form: "Ada"
GNU toolchain → supportsLanguage → Ada (programming language) →
this entity surface form: "Ada"
GDB → supportsProgrammingLanguage → Ada (programming language) →
this entity surface form: "Ada"
ObjectAda → supportsStandard → Ada (programming language) →
this entity surface form: "Ada language standard"
gnat → writtenIn → Ada (programming language) →
subject surface form: "GNAT"
this entity surface form: "Ada"