Using Ada and C++ in computer science education
ACM SIGAda Ada Letters
Structural defects in object-oriented programming
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
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.