Ada Reference Manual
—
Legal Information
H.3 Reviewable Object Code
1
Object code review and validation are supported by pragmas Reviewable and Inspection_Point.
Ada 2005 and 2012 Editions sponsored in part by
Ada-Europe