Programming Languages and Compilers WS 2013/14 - Slide 611

Objectives:
Understand classes as types
In the lecture:
Explain
- class hierarchy - type coercion;
- type checking for dynamically bound method calls with compile time information,
- predict the runtime class of objects
Questions:
- Why can it be useful for the compiler to know the bound method exactly?
©2009 by Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013