in the Java Language Spec, chapter 15.12, there is a rather exhausting description of the compile-time steps which are done to bind a method invocation to a declaration. This description might be precise and complete, but I find it quite difficult to use as a starting point for implementing a static binding algorithm.
In the JustAddJ compiler, I found an aspect for this method lookup. However, even this aspect is not what I am looking for, especially due to its declarative (instead of purely procedural) nature.
I searched the web for some easy-to-read-and-understand procedural descripiton of the static binding algorithm, but I was astonished not to find some.
Did anybody of you guys (and girls) ever see such a description. I would even accept a simplified version of it, which might not be complete in respect to some special issues like type erasure. But I would be glad to get an entry point to this issue.