Ada Programming/Attributes/'Initialized

< Ada Programming‎ | Attributes

This page may need to be reviewed for quality.

Description

For the syntax and semantics of this attribute, see the SPARK 2014 Reference Manual, section 6.10.

Retrieved from "https://en.wikibooks.org/w/index.php?title=Ada_Programming/Attributes/%27Initialized&oldid=4402387"