Properties (52)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
programming construct
|
| gptkbp:allows |
code reuse
|
| gptkbp:defines |
package body
package specification |
| gptkbp:enables |
separate compilation
|
| gptkbp:facilitates |
information hiding
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada packages
|
| gptkbp:isCitedIn |
gptkb:Ada_95
gptkb:Ada_2012 gptkb:Ada_83 Ada 2005 Ada_202x |
| gptkbp:isPartOf |
gptkb:Ada_standard_library
Ada_programming_paradigm |
| gptkbp:isRelatedTo |
gptkb:Ada_exceptions
Ada modules Ada_generics Ada_interfaces Ada_tasks Ada_types |
| gptkbp:isSupportedBy |
gptkb:Ada_compilers
other packages |
| gptkbp:isUsedFor |
application development
software engineering system programming other packages |
| gptkbp:isUsedIn |
defense systems
embedded systems real-time systems automotive systems control systems safety-critical systems transportation systems telecommunications systems aerospace systems financial systems robotics systems simulation systems healthcare_systems |
| gptkbp:mayHave |
variables
exceptions types other packages private subprograms private types public subprograms public types subprograms |
| gptkbp:provides |
modularity
|
| gptkbp:supports |
encapsulation
|
| gptkbp:usedIn |
gptkb:Ada_programming_language
|
| gptkbp:wasSupportedBy |
other packages
|