Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not know which callee will be invoked at runtime. We have developed a simple technique that feeds back type information from the runtime system to the compiler.
No takes yet. Share an insight, caveat, or question.
Hölzle et al. (1994) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: