Ada programming language

URI: https://gptkb.org/entity/Ada_programming_language
GPTKB entity
Statements (100)
Predicate Object
gptkbp:instance_of gptkb:C_programming_language
gptkbp:designed_by gptkb:Jean_Ichbiah
gptkbp:developed_by gptkb:United_States_Department_of_Defense
gptkbp:file_extension .adb
.ads
gptkbp:first_appearance gptkb:1983
gptkbp:has_applications_in gptkb:civil_aviation
gptkb:blockchain_technology
gptkb:Control
gptkb:Artificial_Intelligence
gptkb:Telecommunications
gptkb:cloud_computing
gptkb:machine_learning
gptkb:robotics
gptkb:military_defense
gptkb:medical_devices
big data
data analysis
automotive
data processing
embedded systems
game development
industrial automation
scientific computing
web development
railway systems
transportation systems
system programming
financial systems
military systems
internet of things
application programming
simulation systems
space systems
networking systems
nuclear systems
gptkbp:has_features exception handling
generic programming
modular design
object-oriented programming
tasking
type safety
data abstraction
object-oriented features
exception handling mechanisms
support for embedded systems
support for generic programming
strong typing enforcement
support for distributed systems
support for high-integrity systems
support for large systems
support for real-time applications
support for safety-critical systems
support for system programming
support for concurrent programming
real-time support
support for object-oriented programming
support for exception handling
extensive standard library
support for application programming
support for data abstraction
support for modular programming
concurrent programming constructs
generic programming capabilities
support for efficient systems
support for extensible systems
support for high-level programming constructs
support for high-performance systems
support for interoperable systems
support for large-scale systems
support for low-level programming constructs
support for maintainable code
support for portable systems
support for reliable systems
support for scalable systems
support for secure systems
support for type safety
https://www.w3.org/2000/01/rdf-schema#label Ada programming language
gptkbp:influenced_by gptkb:C_programming_language
gptkb:Pascal
gptkb:ALGOL
gptkbp:is_standardized_by gptkb:ISO
gptkb:ISO/_IEC_8652
gptkbp:latest_version gptkb:Ada_2012
gptkbp:named_after gptkb:Ada_Lovelace
gptkbp:paradigm concurrent programming
object-oriented programming
structured programming
gptkbp:supports concurrent programming
exception handling
generic programming
modular programming
strong typing
gptkbp:used_by gptkb:Department_of_Defense
gptkbp:used_in gptkb:civil_aviation
gptkb:military_defense
real-time systems
transportation systems
gptkbp:bfsParent gptkb:Ada_Lovelace
gptkbp:bfsLayer 3