Statements (59)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Library
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada Standard Library
|
| gptkbp:includes |
gptkb:Ada.Text_IO
gptkb:Ada.Tasking gptkb:Ada.Storage_Elements gptkb:Ada.Synchronous_IO gptkb:Ada.Float_Text_IO gptkb:Ada.Time gptkb:Ada.Unchecked_Deallocation gptkb:Ada.Unchecked_Conversion gptkb:Ada.System gptkb:Ada.Random gptkb:Ada.Exceptions gptkb:Ada.Streams gptkb:Ada.Strings gptkb:Ada.Asynchronous_IO gptkb:Ada.Synchronous_Task_Control Ada.Containers Ada.Containers.Maps Ada.Containers.Queues Ada.Containers.Sets Ada.Containers.Stacks Ada.Containers.Vectors Ada.Directories Ada.Integer_Text_IO Ada.Interrupts Ada.Numerics |
| gptkbp:is_designed_to |
efficiency
modularity readability reliability maintainability concurrency |
| gptkbp:is_part_of |
gptkb:Ada_programming_language
|
| gptkbp:is_used_in |
embedded systems
real-time systems safety-critical systems aerospace applications defense applications |
| gptkbp:maintainedBy |
gptkb:Ada_Core_Technologies
|
| gptkbp:provides |
data structures
exception handling mathematical functions random number generation containers file handling input/output facilities input/output streams string handling generic programming support limited types tasking support numerical types system interfaces time handling |
| gptkbp:supports |
concurrent programming
generic programming object-oriented programming exception propagation |