Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
software
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada.Strings
|
| gptkbp:includes |
String comparison
String concatenation String formatting functions String length calculation String searching functions Substring extraction |
| gptkbp:is_designed_to |
Safety-critical systems
|
| gptkbp:is_part_of |
gptkb:Ada_programming_language
|
| gptkbp:is_recognized_for |
gptkb:Ada_programming_language
|
| gptkbp:is_used_in |
Software development
|
| gptkbp:provides |
String manipulation functions
|
| gptkbp:supports |
Unicode strings
|