Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!gem.mps.ohio-state.edu!ginosko!brutus.cs.uiuc.edu!husc6!bunny!dcr0
From: dcr0@GTE.COM (David Robbins)
Newsgroups: comp.object
Subject: Re: Inheritence and Delegation
Message-ID: <7614@bunny.GTE.COM>
Date: 9 Oct 89 17:19:50 GMT
References: <77500004@m.cs.uiuc.edu>
Organization: GTE Laboratories, Inc., Waltham, MA
Lines: 16

>>Since I have been out-of-touch with OO stuff for a couple of years, can
>>anyone tell me if there has been any recent work done on the semantics of
>>inheritence and/or delegation? 

One good reference is from OOPSLA89:

   A Denotational Semantics of Inheritance and its Correctness
   (by William Cook and Jens Palsberg)

This one addresses inheritance, but not delegation, although I suspect that
some of it would apply to delegation as well.
-- 

Dave Robbins                    GTE Laboratories Incorporated
drobbins@gte.com                40 Sylvan Rd.
...!harvard!bunny!drobbins      Waltham, MA 02254