Ada

E862634
high-level 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 aerospace, defense, and other mission-critical applications.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label Occurrences
Ada canonical 7
Ada programming language 2

Statements (62)

Predicate Object
instanceOf high-level programming language ⓘ
programming language ⓘ
statically typed programming language ⓘ
designedBy CII Honeywell Bull NERFINISHED ⓘ
Jean Ichbiah NERFINISHED ⓘ
developedFor United States Department of Defense NERFINISHED ⓘ
fileExtension .adb ⓘ
.ads ⓘ
firstAppeared 1980 ⓘ
hasDesignGoal maintainability ⓘ
readability ⓘ
reliability ⓘ
safety ⓘ
support for embedded systems ⓘ
support for real-time systems ⓘ
hasImplementation GNAT NERFINISHED ⓘ
ObjectAda NERFINISHED ⓘ
Ravenscar profile runtimes NERFINISHED ⓘ
hasStandard ISO/IEC 8652 NERFINISHED ⓘ
MIL-STD-1815 NERFINISHED ⓘ
hasVersion Ada 2005 NERFINISHED ⓘ
Ada 2012 NERFINISHED ⓘ
Ada 2022 ⓘ
Ada 83 NERFINISHED ⓘ
Ada 95 NERFINISHED ⓘ
influenced Eiffel NERFINISHED ⓘ
SPARK NERFINISHED ⓘ
VHDL NERFINISHED ⓘ
influencedBy Algol 68 NERFINISHED ⓘ
Pascal NERFINISHED ⓘ
Simula NERFINISHED ⓘ
memoryManagement manual memory management ⓘ
namedAfter Ada Lovelace NERFINISHED ⓘ
paradigm concurrent programming ⓘ
generic programming ⓘ
imperative programming ⓘ
object-oriented programming ⓘ
standardizedBy ANSI NERFINISHED ⓘ
ISO NERFINISHED ⓘ
successorOf Green language specification NERFINISHED ⓘ
supportsConcurrencyModel rendezvous ⓘ
tasking ⓘ
supportsFeature contract-based programming ⓘ
exceptions ⓘ
generics ⓘ
modular programming ⓘ
operator overloading ⓘ
packages ⓘ
protected objects ⓘ
real-time programming ⓘ
systems programming ⓘ
tasks ⓘ
supportsStandard Annex D Real-Time Systems NERFINISHED ⓘ
Annex H High Integrity Systems NERFINISHED ⓘ
typingDiscipline static typing ⓘ
strong typing ⓘ
usedInDomain aerospace ⓘ
air traffic control ⓘ
avionics ⓘ
defense ⓘ
railway signaling ⓘ
spacecraft software ⓘ

Referenced by (9)

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

ALGOL → influenced → Ada ⓘ
Matz → influencedBy → Ada ⓘ
subject surface form: Yukihiro Matsumoto
GNU NYU Ada Translator → programmingLanguageSupported → Ada ⓘ
AdaCore → specializesIn → Ada ⓘ
this entity surface form: Ada programming language
GNATmake → programmingLanguage → Ada ⓘ
GNATmake → supportsLanguage → Ada ⓘ
Annex D (Real-Time Systems) → language → Ada ⓘ
Annex H (High Integrity Systems) → appliesTo → Ada ⓘ
this entity surface form: Ada programming language
Annex E (Distributed Systems) → language → Ada ⓘ