Abstract Compiling Inheritance using Partial Evaluation *

[CP89] presents two semantics- one denotational and one operational – for inheritance A central concept of object oriented programming. We show how to use these semantics to interpret and compile inheritance. The main result is the elimination of compile time method lookups within an object instance. More specifically, this eliminates the inheritance references within an object. To the best of our knowledge, this is the first work on compiling inheritance based on a formal semantics. We first demonstrate the necessity of converting the semantics into continuation passing style; then we look into the result of performing partial evaluation on their corresponding interpreters. Based on the Futamura Projections, we have also generated compilers from each of the interpreters.