DocumentCode
2417398
Title
Behavioral subtyping and behavioral enrichment of multimethods
Author
Soundarajan, Neelam ; Fridella, Stephen
Author_Institution
Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
fYear
2000
fDate
2000
Firstpage
105
Lastpage
114
Abstract
Multimethods can provide considerable flexibility to the OO (object oriented) designer. The authors´ goal is to address issues related to reasoning about the behavior of multimethods. Specifically they show that the important notion of behavioral subtyping can be naturally extended to multimethods. The authors also investigate how, when reasoning about code that invokes multimethods, one can appeal to the enriched behavior provided by the specialized methods
Keywords
abstract data types; object-oriented programming; type theory; OO designer; behavioral enrichment; behavioral subtyping; enriched behavior; multimethods; object oriented designer; reasoning; specialized methods; Dispatching; Information science;
fLanguage
English
Publisher
ieee
Conference_Titel
Technology of Object-Oriented Languages and Systems, 2000. TOOLS 34. Proceedings. 34th International Conference on
Conference_Location
Santa Barbara, CA
ISSN
1530-2067
Print_ISBN
0-7695-0774-3
Type
conf
DOI
10.1109/TOOLS.2000.868963
Filename
868963
Link To Document