Technology of Object-Oriented Languages and Systems (TOOLS 34'00) Behavioral Subtyping and Behavioral Enrichment of Multimethods Santa Barbara, California July 30-August 03 ISBN: 0-7695-0774-3
Multimethods can provide considerable flexibility to the OO designer. Our goal in this paper is to address issues related to reasoning about the behavior of multimethods. Specifically we show that the important notion of behavioral subtyping can be naturally extended to multimethods. We also investigate how, when reasoning about code that invokes multimethods, we can appeal to the enriched behavior provided by the specialized methods.
Citation:
Neelam Soundarajan, Stephen Fridella, "Behavioral Subtyping and Behavioral Enrichment of Multimethods," tools, pp.105, Technology of Object-Oriented Languages and Systems (TOOLS 34'00), 2000 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||