Ada Programming/Attributes/'Initialized
Description
For the syntax and semantics of this attribute, see the SPARK 2014 Reference Manual, section 6.10.
Category:Book:Ada Programming#Attributes/'Initialized%20For the syntax and semantics of this attribute, see the SPARK 2014 Reference Manual, section 6.10.
Category:Book:Ada Programming#Attributes/'Initialized%20