Abstract
A technical specification of an extension of the programming language C. It describes the syntax, semantics and constraints pertaining to a new type qualifier. It also gives recommendations for how the information provided by the new qualifier can be used to facilitate data-flow analysis.
General information
-
Status: Under developmentStage: New project registered in TC/SC work programme [20.00]
-
Edition: 1
-
Technical Committee :ISO/IEC JTC 1/SC 22
- RSS updates
