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.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (16)

Label Occurrences
Ada 21
Ada 2012 5
Ada 2005 4

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) self-linksurface differs ⓘ
surface form: SPARK Ada
hasVersion Ada (programming language) self-linksurface differs ⓘ
surface form: Ada 2005

Ada (programming language) self-linksurface differs ⓘ
surface form: Ada 2012

Ada (programming language) self-linksurface differs ⓘ
surface form: Ada 2022

Ada (programming language) self-linksurface differs ⓘ
surface form: Ada 83

Ada (programming language) self-linksurface differs ⓘ
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 (50)

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

Pascal → influenced → Ada (programming language) ⓘ
Ada (programming language) → hasVersion → Ada (programming language) self-linksurface differs ⓘ
this entity surface form: Ada 83
Ada (programming language) → hasVersion → Ada (programming language) self-linksurface differs ⓘ
this entity surface form: Ada 95
Ada (programming language) → hasVersion → Ada (programming language) self-linksurface differs ⓘ
this entity surface form: Ada 2005
Ada (programming language) → hasVersion → Ada (programming language) self-linksurface differs ⓘ
this entity surface form: Ada 2012
Ada (programming language) → hasVersion → Ada (programming language) self-linksurface differs ⓘ
this entity surface form: Ada 2022
Ada (programming language) → hasSubset → Ada (programming language) self-linksurface differs ⓘ
this entity surface form: SPARK Ada
GNU Compiler Collection → supportsLanguage → Ada (programming language) ⓘ
this entity surface form: Ada
C++ → influencedBy → Ada (programming language) ⓘ
this entity surface form: Ada
Algol 68 → influenced → Ada (programming language) ⓘ
this entity surface form: Ada
Ruby → influencedBy → Ada (programming language) ⓘ
this entity surface form: Ada
Ada Lovelace → givenName → Ada (programming language) ⓘ
this entity surface form: Ada
ALGOL 60 → influenced → Ada (programming language) ⓘ
this entity surface form: Ada
Modula-2 → influenced → Ada (programming language) ⓘ
this entity surface form: Ada (module concepts)
ISO/IEC 8652 → standardFor → Ada (programming language) ⓘ
this entity surface form: Ada programming language
ISO/IEC 8652 → languageName → 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 → languageVersion → Ada (programming language) ⓘ
this entity surface form: Ada 95
ISO/IEC 8652 → successorOf → Ada (programming language) ⓘ
this entity surface form: MIL-STD-1815A (Ada)
ObjectAda → programmingLanguageSupported → Ada (programming language) ⓘ
this entity surface form: Ada
ObjectAda → supportsStandard → Ada (programming language) ⓘ
this entity surface form: Ada language standard
Ravenscar profile → appliesToLanguage → Ada (programming language) ⓘ
this entity surface form: Ada
Ravenscar profile → standardizedIn → Ada (programming language) ⓘ
this entity surface form: Ada 2005
Ravenscar profile → standardizedIn → Ada (programming language) ⓘ
this entity surface form: Ada 2012
Yukihiro Matsumoto → influencedBy → Ada (programming language) ⓘ
this entity surface form: Ada
GNU toolchain → supportsLanguage → Ada (programming language) ⓘ
this entity surface form: Ada
gnat → programmingLanguageCompiled → Ada (programming language) ⓘ
subject surface form: GNAT
this entity surface form: 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
gnat → writtenIn → Ada (programming language) ⓘ
subject surface form: GNAT
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
GDB → supportsProgrammingLanguage → Ada (programming language) ⓘ
this entity surface form: Ada
PL/SQL → basedOn → Ada (programming language) ⓘ
this entity surface form: Ada
CLU → influenced → Ada (programming language) ⓘ
this entity surface form: Ada
Eiffel → influencedBy → Ada (programming language) ⓘ
this entity surface form: Ada
Augusta → givenName → Ada (programming language) ⓘ
subject surface form: Augusta Ada King-Noel
this entity surface form: Ada
PL/I → influenced → Ada (programming language) ⓘ
this entity surface form: Ada
ISO/IEC JTC 1/SC 22 → standardizes → Ada (programming language) ⓘ
this entity surface form: Ada programming language
VMS operating system → supportsProgrammingLanguage → Ada (programming language) ⓘ
this entity surface form: Ada
VMS → supportsProgrammingLanguage → Ada (programming language) ⓘ
this entity surface form: Ada
GNU NYU Ada Translator → implements → Ada (programming language) ⓘ
this entity surface form: Ada 95
GNU NYU Ada Translator → implements → Ada (programming language) ⓘ
this entity surface form: Ada 2005
GNU NYU Ada Translator → implements → Ada (programming language) ⓘ
this entity surface form: Ada 2012
GNU NYU Ada Translator → implements → Ada (programming language) ⓘ
this entity surface form: Ada 2022
AdaCore → supportsStandard → Ada (programming language) ⓘ
this entity surface form: Ada 2012
AdaCore → supportsStandard → Ada (programming language) ⓘ
this entity surface form: Ada 2022
Annex D (Real-Time Systems) → belongsTo → Ada (programming language) ⓘ
this entity surface form: Ada 2005 standard
Annex D (Real-Time Systems) → belongsTo → Ada (programming language) ⓘ
this entity surface form: Ada 2012 standard