Erschienen:
Association for Computing Machinery (ACM), 1996
Erschienen in:
ACM Transactions on Programming Languages and Systems, 18 (1996) 6, Seite 711-729
Sprache:
Englisch
DOI:
10.1145/236114.236118
ISSN:
0164-0925;
1558-4593
Entstehung:
Anmerkungen:
Beschreibung:
This article formally defines Eiffel dynamic binding in presence of renaming and redefinition. Message passing, inheritance, and polymorphism are expressed in an operational style using natural semantics. From the formal specification, we derive an algorithm to determine the appropriate version of a feature to apply to a given object. This algorithm, based only on the class hierarchy and not using any intermediate structure, gives a practical approach to the understanding of inheritance, renaming, and redefinition in Eiffel.