A structural view of the Cedar programming environment
ACM Transactions on Programming Languages and Systems (TOPLAS)
The C programming language
Reference Manual for the ADA Programming Language
Reference Manual for the ADA Programming Language
Structured programming with limited private types in Ada: nesting if for the soaring eagles
ACM SIGAda Ada Letters
Safe and leakproof resource management using Ada83 limited types
ACM SIGAda Ada Letters
Abstract data types are under full control with Ada 9X
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Hi-index | 0.00 |
This paper describes a generalized technique for controlling the growth of dynamically allocated objects within an Ada system due to the careless, yet innocent misuse of access types, allocators and instantiations of the generic procedure UNCHECKED_DEALLOCATION. The technique outlined here involves reliance on Ada's strong typing model and in particular, the judicious use of limited private data types in conjunction with generic packages and data abstraction facilities.