St'ephane Barbey. Working with ada 9x classes. In Charles B. Engle Jr, editor, TRI-Ada 1994 Conference, pages 129--140, Baltimore, Maryland, USA, November 1994. Also available as Technical Report (EPFL-DI-LGL No 94/65). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Lower_Layer: A Family of Interfaces to Transport.. - Barahona, Quirós.. (Correct)
....using connect like primitives. 3 PROGRAMMING INTERFACE 7 fields. Primitive subprograms for sending, receiving, binding and unbinding will be provided by the implementation of each LLM 5 . ffl A type for referring to any address, of any LLM. It is an access to class wide type in Ada terminology [1]. It will be named Address CA (for Address class access) This will allow the definition of subprograms operating on all types rooted at the type Address, without exposing dynamic dispatching at the programming interface level. Of course these subprograms will internally dispatch to the proper ....
St'ephane Barbey. Working with ada 9x classes. In Charles B. Engle Jr, editor, TRI-Ada 1994 Conference, pages 129--140, Baltimore, Maryland, USA, November 1994. Also available as Technical Report (EPFL-DI-LGL No 94/65).
Annotating Dispatching - Barbey Self-citation (Barbey) (Correct)
....occurs whenever a primitive operation of a tagged type is invoked with a controlling operand of a class wide tagged type. In some other object oriented programming languages, dispatching is known as dynamic binding. Dispatching and idiomatic uses of class wide types have been studied in [1]. Although dispatching is a powerful programming mechanism, and is required for object oriented programming to reach its full capacities, it leads to several problems for the maintenance phase, because it decreases the readability and the understandability of programs. Thus, it may be useful to ....
.... : begin Withdraw (Account Type Class (Debit) type conversion even though Debit is already class wide Account Type Class (Debit) Account Type Class (Credit) Annotating Dispatching 30 October 1995 18:12 3 end; This strategy suffers however from two problems: as shown in [1], not all conversions to a classwide type are meant to enforce dispatching, and a type conversion to a class wide type is a costly operation, because a check is performed that the tag of the converted object identifies a (specific) type that is covered by or descended from the target type (ARM ....
Stéphane Barbey. Working with Ada 9X classes. In Charles B. Engle, Jr., editor, TRI-Ada 1994 Conference, pages 129--140, Baltimore, Maryland, USA, November 6-11 1994. Also available as Technical Report (EPFL-DI-LGL No 94/65).
Testing Ada 95 Object-Oriented Programs - Barbey (1995) Self-citation (Barbey) (Correct)
....since it is possible to add descendants at any time, without even having to recompile the clients of the ancestor types. Moreover, type conversions inside a class hierarchy may cause errors that cannot be detected at compile time. We have studied different uses of polymorphism in Ada 95 in [1]. Note that this issue is less important in Ada than in other object oriented programming languages, because the level of granularity of dynamic binding is not the operation (for example, in C , virtual or not) but the call (dispatching or not) which contributes to limit the cases of dynamic ....
Stéphane Barbey. Working with Ada 9X classes. In Charles B. Engle, Jr., editor, TRI-Ada 1994 Conference, pages 129--140, Baltimore, Maryland, USA, November 6-11 1994. Also available as Technical Report (EPFL-DI-LGL No 94/65).
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