M. Kempe. Abstract data types are under full control with Ada 9X. In C. B. Engle, Jr., editor, TRI-Ada'94, pages 141--152, Baltimore, Maryland, USA, Nov. 611 1994. Also available as Technical Report (EPFLDI -LGL No 94/66). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Ada 95 as Implementation Language for. . . - Barbey (1995) (Correct)
....call to a creation method, or by the copying of a preexisting object. However, records are not allowed to have components of an indefinite type. Thus, using indefinite types compels the use of object values to code the object attributes of those types. More details on indefinite types are given in [18]. If some attributes cannot be initialized with a default expression, then those components should be controlled one way or another (see section 3.3.2) and initialized during the implicit invocation of the Initialize operation. 6. Using generics Although generic units are not part of the ....
M. Kempe. Abstract data types are under full control with Ada 9X. In C. B. Engle, Jr., editor, TRI-Ada'94, pages 141--152, Baltimore, Maryland, USA, Nov. 611 1994. Also available as Technical Report (EPFLDI -LGL No 94/66).
First published in the Ada-Europe '95 Conference Proceedings.. - Ob Er (Correct)
....inherent in both the mechanisms of genericity and inheritance. 5. SELF REFERENTIAL TYPES There is yet another technique for the implementation of heterogeneous data structures, based on self referential types (with access discriminants) The construction is similar in spirit to one used by [6] in order to automatically collect all instances of a given type. An object which should be contained in some ADT has a component of type Hook to ADT, and that component has an access discriminant designating the enclosing object thus allowing both ADT traversal and access to the object ....
....frameworks available in the form of generic packages. There are several alternative approaches that one may choose from, depending on specific requirements; these approaches all remain safely within the context of Ada s strong typing. A generalization of the self referential technique presented in [6] leads to a clean concept and implementation of multiple classification. This is achieved through the disciplined composition and application of self referential types, not with multiple inheritance. 7. ACKNOWLEDGMENTS The author would like to thank St phane Barbey, Gabriel Eckert, and Robb ....
M. Kempe. Abstract Data Types Are Under Full Control with Ada 9X. In Proceedings of the TRI-Ada'94 Conference, ed. by C. Engle Jr., Baltimore, Maryland, November 6-11, 1994, pp. 141-152. Also available at URL http://lglwww.epfl.ch/Ada/Resources/Papers/OO/ ADT_Control-revised.ps
Abstract Data Types Are Under Full Control With Ada 9X - Kempe (1995) (2 citations) Self-citation (Kempe) (Correct)
.... [Bei92] suggested a change in Abstract Data Types Are Under Full Control with Ada 9X Magnus Kempe Swiss Federal Institute of Technology in Lausanne Software Engineering Laboratory EPFL DI LGL CH 1015 Lausanne, Switzerland e mail: Magnus.Kempe di.epfl.ch This is a revised version of [Kem94], which was published in the TRI Ada 94 Conference Proceedings. 1994, 1995 by Magnus Kempe (this version dated: March 23, 1995) Revised since publication in TRI Ada 94 Conference Proceedings, Baltimore, Maryland, November 6 11, 1994 Page 2 the language to support a functional style of ....
M. Kempe. Abstract Data Types Are Under Full Control with Ada 9X. In Proceedings of the TRI-Ada'94 Conference, ed. by C. Engle Jr, Baltimore, Maryland, November 6-11, 1994, pp. 141-152.
The Composition of Abstractions: Evolution of Software Component.. - Kempe (1995) (1 citation) Self-citation (Kempe) (Correct)
....introduced with access types makes unintentional aliasing more easy. It should be noted that limited types ought to become less frequently used, since controlled types allow an Ada 95 programmer to simultaneously and safely redefine the assignment operation and the equality operators (see [Kem94]) Exporting a non limited, controlled ADT is strongly recommended wherever it makes sense to define the assignment statement and equality operators. A container in which items are directly stored is a collection (by value semantics of non limited types) a container in which references to items ....
M. Kempe. Abstract Data Types Are Under Full Control with Ada 9X. In Proceedings of the TRI-Ada'94 Conference, ed. by C. Engle Jr., Baltimore, Maryland, November 6-11, 1994, pp. 141-152. Also available at URL http://lglwww.epfl.ch/Ada/Resources/Papers/OO/ ADT_Control-revised.ps
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC