|
gptkbp:instanceOf
|
programming language
|
|
gptkbp:basedOn
|
gptkb:Ada_95
|
|
gptkbp:designedBy
|
gptkb:Jean_Ichbiah
|
|
gptkbp:developedBy
|
gptkb:Ada_Joint_Program_Office
|
|
gptkbp:features
|
exception handling
generic programming
modular programming
object-oriented programming
tasking
contract-based programming
real-time systems support
|
|
gptkbp:firstAppearance
|
2012
|
|
gptkbp:hasAwards
|
gptkb:ISO/IEC_8652:2012/Cor_6:2022
gptkb:ISO/IEC_8652:2012/Cor_4:2020
gptkb:ISO/IEC_8652:2012/Cor_1:2014
gptkb:ISO/IEC_8652:2012/Cor_3:2018
gptkb:ISO/IEC_8652:2012/Cor_7:2023
gptkb:ISO/IEC_8652:2012
gptkb:ISO/IEC_8652:2012/Cor_2:2016
gptkb:ISO/IEC_8652:2012/Cor_5:2021
ANSI/MIL-STD-1815A
ISO/IEC 8652:1995
ISO/IEC 8652:2007
|
|
gptkbp:hasGoals
|
gptkb:Pascal
C programming language
|
|
gptkbp:hasSibling
|
gptkb:Wind_River_VxWorks
gptkb:Aonix_ObjectAda
gptkb:GNAT
gptkb:Gnu_Ada
gptkb:Green_Hills_Software
AdaCore
Ravenscar profile
Ada 2012 Reference Manual
Altran Praxis
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Ada 2012
|
|
gptkbp:predecessor
|
Ada_202x
|
|
gptkbp:relatedTo
|
gptkb:Ada_95
gptkb:Ada_programming_language
SPARK
|
|
gptkbp:standardFeatures
|
gptkb:ISO
|
|
gptkbp:successor
|
Ada 2005
|
|
gptkbp:supports
|
concurrent programming
real-time systems
strong typing
|
|
gptkbp:usedFor
|
embedded systems
safety-critical systems
high-integrity systems
|
|
gptkbp:usedIn
|
aerospace industry
transportation systems
defense industry
|