Typed Intermediate Representations for Compiling Object-Oriented Languages

In the past few years a large body of work has developed on the use of typed intermediate languages in compilers. It has become apparent that the retention of type information in the intermediate representation of a program is useful for ensuring compiler correctness and facilitating optimizations. The use of intermediate languages resembling typed -calculus in the compilation of functional languages like ML and Haskell has been particularly successful, but not much has been done on using this kind of intermediate format for non-functional languages. Meanwhile, TOOPL, TOIL and LOOM have been developed as object-oriented programming languages with static type-safety and semantic foundations firmly in mind. Encodings for the object and class constructs of these languages in -calculus are known, and consideration of these encodings has proved fruitful in their design and implementation. In this thesis, our intention is to exploit the work on the semantic foundations of objectoriented la..