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.
All labels observed (16)
| Label | Occurrences |
|---|---|
| Ada | 21 |
| Ada 2012 | 5 |
| Ada 2005 | 4 |
| Ada 95 | 4 |
| Ada 2022 | 3 |
| Ada 2005 standard | 2 |
| Ada programming language | 2 |
| Ada (module concepts) | 1 |
| Ada (programming language) canonical | 1 |
| Ada 2012 standard | 1 |
| Ada 83 | 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 |
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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Ada (programming language) Description of subject: 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.
Referenced by (50)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Ada 83
this entity surface form:
Ada 95
this entity surface form:
Ada 2005
this entity surface form:
Ada 2012
this entity surface form:
Ada 2022
this entity surface form:
SPARK Ada
this entity surface form:
Ada
this entity surface form:
Ada
this entity surface form:
Ada
this entity surface form:
Ada
this entity surface form:
Ada
this entity surface form:
Ada
this entity surface form:
Ada (module concepts)
this entity surface form:
Ada programming language
this entity surface form:
Ada
this entity surface form:
Ada language reference manual
this entity surface form:
Ada 95
this entity surface form:
MIL-STD-1815A (Ada)
this entity surface form:
Ada
this entity surface form:
Ada language standard
this entity surface form:
Ada
this entity surface form:
Ada 2005
this entity surface form:
Ada 2012
this entity surface form:
Ada
this entity surface form:
Ada
subject surface form:
GNAT
this entity surface form:
Ada
subject surface form:
GNAT
this entity surface form:
Ada 95
subject surface form:
GNAT
this entity surface form:
Ada 2005
subject surface form:
GNAT
this entity surface form:
Ada 2012
subject surface form:
GNAT
this entity surface form:
Ada
subject surface form:
GNAT
this entity surface form:
Ada 95 standard
subject surface form:
GNAT
this entity surface form:
Ada 2005 standard
this entity surface form:
Ada
this entity surface form:
Ada
this entity surface form:
Ada
subject surface form:
Augusta Ada King-Noel
this entity surface form:
Ada
this entity surface form:
Ada
this entity surface form:
Ada programming language
this entity surface form:
Ada
this entity surface form:
Ada
this entity surface form:
Ada 95
this entity surface form:
Ada 2005
this entity surface form:
Ada 2012
this entity surface form:
Ada 2022
this entity surface form:
Ada 2012
this entity surface form:
Ada 2022
this entity surface form:
Ada 2005 standard
this entity surface form:
Ada 2012 standard