Michael,

>There I will have to disagree with you - the return address only tells you where the calling code is - it gives no (direct) information about who or what did the calling. In terms of OO it is not necessarily the compiler that resolves the references, very often it is a run-time decision - hence the power of OO & abstract classes.

Here is where you lost me:

>One way or another, an OO language determines the caller & which particular version of a method should be used

Can you explain this to me, or explain to me when an OO language has to do this?