A typed intermediate language for supporting interfaces

Object-oriented languages such as Java and C # provide interfaces to support a restricted form of multiple inheritance. Existing low-level typed intermediate languages for object-oriented lan-guages, however, either do not support interfaces or require non-standard interface implementa-tions. This paper describes a low-level typed intermediate language that can express the standard interface implementation strategies based on interface tables (itables). The language can faith-fully model itables, the standard itable-based interface method invocation, and interface cast. The type system is sound and the type checking is decidable