Ada 83

GPTKB entity

Statements (79)
Predicate Object
gptkbp:instanceOf programming language
gptkbp:basedOn Ada
gptkbp:designedBy gptkb:Jean_Ichbiah
gptkbp:features exception handling
generic programming
object-oriented programming
tasking
gptkbp:firstAppearance 1983
gptkbp:has support for localization
support for internationalization
support for documentation
support for embedded systems
support for formal methods
support for performance analysis
support for user-defined types
support for generic programming
support for polymorphism
support for high-integrity systems
support for modular design
support for safety-critical systems
support for software engineering principles
support for artificial intelligence
support for machine learning
support for cloud computing
support for data analysis
support for debugging tools
support for game development
support for network programming
support for error handling
support for resource management
support for database programming
support for mobile programming
support for object-oriented programming
support for scientific computing
support for web programming
support for big data
support for exception handling
built-in support for concurrency
extensive standard library
rich set of data types
strong type system
support for application-level programming
support for code optimization
support for compile-time checks
support for cross-platform development
support for data encapsulation
support for dynamic binding
support for inheritance
support for large-scale software development
support for numerical analysis
support for real-time systems
support for run-time checks
support for static binding
support for system-level programming
support for systems programming
support for tasking
support for verification and validation
support_for_GUI_programming
https://www.w3.org/2000/01/rdf-schema#label Ada 83
gptkbp:influencedBy gptkb:Pascal
gptkbp:standardFeatures gptkb:ISO
gptkbp:successor gptkb:Ada_95
gptkbp:supports code reusability
concurrent programming
exception handling
modular programming
modularity
strong typing
type safety
data abstraction
concurrency
task synchronization
real-time programming
gptkbp:usedIn telecommunications
real-time systems
aerospace industry
automotive systems
transportation systems
defense industry