java

Java interface dispatch: resolving s.area() in a code graph

Shape s = ...; s.area() produced no edge in CGraph, because the name was ambiguous. How interface dispatch resolves it, the overload regression it caused, and what it costs.