Accessibility rules OK!-Reference-Cited by-同舟云学术

Accessibility rules OK!

Published:1995-01 Issue:1 Volume:XV Page:39-49
ISSN:1094-3641
Container-title:ACM SIGAda Ada Letters
language:en
Short-container-title:Ada Lett.

Author:

Barnes John¹

Affiliation:

1. 11 Albert Road, Caversham, Reading RG4 7AN, UK

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/199682.199685

Reference3 articles.

1. [Rat] Ada 9X Rationale Intermetrics Inc version 5.0 1994. ISO/IEC JTC1/SC22 WG9 N207. [Rat] Ada 9X Rationale Intermetrics Inc version 5.0 1994. ISO/IEC JTC1/SC22 WG9 N207.

2. [RM9X] Ada 9X Reference Manual Intermetrics Inc version 5.0 1994. Draft International Standard: ISO/IEC DIS 8652. [RM9X] Ada 9X Reference Manual Intermetrics Inc version 5.0 1994. Draft International Standard: ISO/IEC DIS 8652.

3. [AARM] Annotated Ada 9X Reference Manual Intermetrics Inc version 5.0 1994. ISO/IEC JTC1/SC 22 WG9 N193. [AARM] Annotated Ada 9X Reference Manual Intermetrics Inc version 5.0 1994. ISO/IEC JTC1/SC 22 WG9 N193.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Structural defects in object-oriented programming;ACM SIGSOFT Software Engineering Notes;1996-03

2. Using Ada and C++ in computer science education;ACM SIGAda Ada Letters;1996-01-15