This paper proposes that dynamic ceiling be added to Ada 95. A ceiling change is defined as a protected operation.
Download Not Available

BibTex Entry

@inproceedings{Real2002,
 author = {J. Real and A. Crespo and A. Burns and A. J. Wellings},
 booktitle = {Proceedings of IRTAW11, Ada Letters, Vol XX1I(4)},
 pages = {66-71},
 title = {Protected Ceiling Changes},
 year = {2002}
}