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.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||