Statements (54)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
software
|
| gptkbp:allows |
custom formatting options
|
| gptkbp:compatibleWith |
gptkb:Ada_programming_language
|
| gptkbp:contains |
procedures for reading and writing floating-point values
|
| gptkbp:documentedIn |
gptkb:Ada_Reference_Manual
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada.Float Text IO
|
| gptkbp:impact |
user-defined types
|
| gptkbp:includes |
Get procedure
Put procedure |
| gptkbp:influenced |
gptkb:ISO/IEC_8652
|
| gptkbp:is_available_in |
gptkb:Ada_2012
Ada 2005 |
| gptkbp:is_designed_to |
safety-critical systems
type-safe high-integrity systems type Float |
| gptkbp:is_part_of |
gptkb:Ada_95
gptkb:Ada_standard_library Ada_programming_environment Ada_runtime_environment |
| gptkbp:is_recognized_for |
gptkb:Ada_programming_language
|
| gptkbp:is_used_in |
data analysis
automotive applications data serialization embedded systems machine learning applications real-time systems scientific computing control systems weather forecasting modeling and simulation aerospace applications financial applications environmental modeling geospatial applications energy applications robotics applications statistical computing file I/O operations telecommunications applications defense applications simulation applications console I/O operations numerical applications healthcare_applications |
| gptkbp:maintainedBy |
gptkb:Ada_community
|
| gptkbp:provides |
default formatting for floating-point output
error handling for I/O operations input and output operations for floating-point numbers |
| gptkbp:related_to |
Ada.Integer_Text_IO
|
| gptkbp:supports |
scientific notation
fixed-point notation formatted input and output |
| gptkbp:uses |
gptkb:Ada.Text_IO
|