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 Disambiguation Statements Elicitation Referenced by

AI illustration

All labels observed (16)

Label	Occurrences
Ada	21
Ada 2012	6
Ada 2005	4
Ada 95	4
Ada (programming language) canonical	3
Ada 2022	3
Ada 2005 standard	2
Ada 83	2
Ada programming language	2
Ada (module concepts)	1
Ada 2012 standard	1
Ada 95 standard	1
Ada language reference manual	1
Ada language standard	1
MIL-STD-1815A (Ada)	1
SPARK Ada	1

How this entity was disambiguated

This entity first appeared as the object of triple T95834 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Ada (programming language)
Context triple: [Pascal, influenced, Ada (programming language)]

A. Pascal
Pascal is a high-level, strongly typed procedural programming language designed by Niklaus Wirth in the late 1960s, widely used for teaching structured programming and data structuring concepts.
B. Scratch programming language
Scratch programming language is a visual, block-based coding environment designed primarily for children and beginners to learn programming concepts through creating interactive stories, games, and animations.
C. Delphi
Delphi is an ancient Greek sanctuary and archaeological site famed for the Oracle of Apollo and its central role in classical Greek religion and culture.
D. SAS
SAS is a widely used statistical software suite for advanced analytics, business intelligence, data management, and predictive modeling.
E. SAS
SAS is the School of Arts and Sciences at the University of Pennsylvania, encompassing the university’s core liberal arts and sciences departments and programs.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Ada (programming language)
Target entity description: 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.

A. Pascal
Pascal is a high-level, strongly typed procedural programming language designed by Niklaus Wirth in the late 1960s, widely used for teaching structured programming and data structuring concepts.
B. Scratch programming language
Scratch programming language is a visual, block-based coding environment designed primarily for children and beginners to learn programming concepts through creating interactive stories, games, and animations.
C. Delphi
Delphi is an ancient Greek sanctuary and archaeological site famed for the Oracle of Apollo and its central role in classical Greek religion and culture.
D. SAS
SAS is a widely used statistical software suite for advanced analytics, business intelligence, data management, and predictive modeling.
E. SAS
SAS is the School of Arts and Sciences at the University of Pennsylvania, encompassing the university’s core liberal arts and sciences departments and programs.
F. None of above. chosen

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	United States Department of Defense ⓘ linked to: 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	GNAT ⓘ linked to: GNU Compiler Collection GNAT Community ⓘ linked to: GNU Compiler Collection GNAT Pro ⓘ linked to: GNU Compiler Collection ObjectAda ⓘ Ravenscar profile implementations ⓘ
hasProfile	Ravenscar profile ⓘ
hasSubset	SPARK Ada ⓘ linked to: Ada (programming language)
hasVersion	Ada 2005 ⓘ linked to: Ada (programming language) Ada 2012 ⓘ linked to: Ada (programming language) Ada 2022 ⓘ linked to: Ada (programming language) Ada 83 ⓘ linked to: Ada (programming language) Ada 95 ⓘ linked to: Ada (programming language)
memorySafety	emphasized ⓘ
namedAfter	Ada Lovelace ⓘ
paradigm	concurrent programming ⓘ generic programming ⓘ imperative programming ⓘ object-oriented programming ⓘ
reliability	emphasized ⓘ
safety	emphasized ⓘ
standardizedBy	ISO ⓘ linked to: International Organization for Standardization
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 ⓘ

How these facts were elicited