Statements (57)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
programming concept
|
| gptkbp:allows |
user-defined types
|
| gptkbp:associated_with |
strongly typed languages
|
| gptkbp:benefits |
software engineering
|
| gptkbp:can_be |
type checking
polymorphic types generic types record types type parameters type constraints subtypes interface types type definitions access types array slices array types constrained types derived from existing types enumeration types record extensions task types type aliases type conversions type definitions with default values type hierarchies type invariants unconstrained types variant records |
| gptkbp:enables |
strong typing
|
| gptkbp:facilitates |
data abstraction
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada derived types
|
| gptkbp:includes |
private types
tagged types |
| gptkbp:is_designed_to |
high-integrity systems
|
| gptkbp:is_essential_for |
modular design
type safety software reliability |
| gptkbp:is_part_of |
gptkb:Ada_95
gptkb:Ada_2012 gptkb:Ada_standard_library Ada 2005 Ada_programming_paradigm |
| gptkbp:is_recognized_for |
gptkb:Ada_compilers
Ada_language_specifications |
| gptkbp:is_used_in |
gptkb:Ada_programming_language
embedded systems military applications modular programming real-time systems safety-critical systems system programming telecommunications systems aerospace applications |
| gptkbp:related_to |
data types
object-oriented programming data encapsulation |
| gptkbp:supports |
type extension
|