This paper shows that the intuitive notion of accessibility is correctly met by the rules of Ada 9X. In particular, it shows that despite the notion of accessibility being intrinsically dynamic, nevertheless the rules can in the majority of situations be checked statically without any loss of capability. It also explores the impact of access parameters and shows that the mechanism suggested in the Annotated Reference Manual AARM does indeed exactly map onto the requirements of the rules.
/lp/association-for-computing-machinery/accessibility-rules-ok-NwFpttNdPg