Annotated
Ada Reference Manual
—
Legal Information
H.3 Reviewable Object Code
1
Object code review and validation are supported by pragmas Reviewable and Inspection_Point.
Sponsored by
Ada-Europe