Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Ada as a second language
Proc. of the Ada-Europe international conference on Ada: managing the transition
Controlling dynamic objects in large Ada systems
ACM SIGAda Ada Letters
Rational for the design of reusable abstract data types implemented in Ada
ACM SIGAda Ada Letters
Ada 9X requirements
Rationale for the design of the Ada programming language
Rationale for the design of the Ada programming language
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
Structured programming with limited private types in Ada: nesting if for the soaring eagles
ACM SIGAda Ada Letters
Relaxing the constraints on Ada's limited private types through functional expressions
ACM SIGAda Ada Letters
Safe and leakproof resource management using Ada83 limited types
ACM SIGAda Ada Letters
Ada 9X: from abstraction-oriented to object-oriented
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Memory management in Ada83 and Ada9X
ACM SIGAda Ada Letters
Storage reclamation models for Ada programs
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Portable and efficient dynamic storage management in Ada
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Semantic specification of Ada packages
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Abstract data types and the development of data structures
Communications of the ACM
Software Component with ADA
A Comparison of the Object-Oriented Features of Ada 9X and C++
Ada-Europe '93 Proceedings of the 12th Ada-Europe International Conference
The finalization operation for abstract types
ICSE '81 Proceedings of the 5th international conference on Software engineering
Values and objects in programming languages
ACM SIGPLAN Notices
On unlimited types and reliability of Ada programs
ACM SIGAda Ada Letters
ACM SIGAda Ada Letters
Managing usage of dynamic structures with Ada controlled objects
Proceedings of the conference on TRI-Ada '97
Reusable Ada libraries supporting infinite data structures
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Ada 95 as implementation language for object-oriented designs
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
The composition of abstractions: evolution of software component design with Ada 95
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Hi-index | 0.00 |
Ada 83 did not provide enough control on the creation, assignment, and destruction of objects of user-defined types. This lack of control restricted type composition and prevented the full exercise of information hiding for abstract data types. Ada 9X brings new mechanisms supporting the full control of abstract data types, powerful type composition, and more extensive information hiding. With better control of abstract data types, Ada code will be easier to write, understand, maintain, and reuse. Thus, applications written in Ada 9X will be safer.