loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Neelam Soundarajan, Ohio State University
Stephen Fridella, Ohio State University
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.