GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Ada (programming language)
URI:
https://gptkb.org/entity/Ada_(programming_language)
GPTKB entity
Statements (55)
Predicate
Object
gptkbp:instanceOf
gptkb:programming_language
gptkbp:compiledBy
gptkb:AdaCore
gptkb:GNAT
gptkb:Rational_Apex
gptkb:Green_Hills_AdaMULTI
gptkb:IBM_Rational_Ada
ObjectAda
gptkbp:designedBy
gptkb:Jean_Ichbiah
gptkbp:developedBy
gptkb:CII_Honeywell_Bull
gptkbp:fileExtension
.ada
.adb
.ads
gptkbp:firstAppearance
1980
gptkbp:hasFeature
gptkb:Ada_2005
gptkb:Ada_83
gptkb:Ada_95
gptkb:Ada_2012
gptkb:ISO/IEC_8652
gptkb:ANSI/MIL-STD-1815A
gptkb:Ada_2022
https://www.w3.org/2000/01/rdf-schema#label
Ada (programming language)
gptkbp:influenced
gptkb:chapel
gptkb:VHDL
gptkb:SPARK
gptkb:PL/SQL
gptkbp:influencedBy
gptkb:Pascal
gptkb:ALGOL_68
gptkb:SETL
gptkbp:latestReleaseVersion
gptkb:Ada_2022
gptkbp:namedAfter
gptkb:Ada_Lovelace
gptkbp:paradigm
imperative
generic
object-oriented
structured
modular
concurrent
gptkbp:standardizedBy
gptkb:ISO
gptkbp:supports
object-oriented programming
exception handling
concurrency
generic programming
modularity
strong typing
real-time programming
gptkbp:typingDiscipline
strong
safe
static
gptkbp:usedFor
aerospace
aviation
defense
embedded systems
real-time systems
gptkbp:website
https://www.adaic.org/
gptkbp:bfsParent
gptkb:Ada_83
gptkbp:bfsLayer
5