User loginNavigation |
A Typed Intermediate Language for Compiling Multiple Inheritance
Juan Chen. A Typed Intermediate Language for Compiling Multiple Inheritance.
This paper presents a typed intermediate language EMI that supports multiple and virtual inheritance of classes in C++-like languages. EMI faithfully represents standard implementation strategies of object layout, "this" pointer adjustment, and dynamic dispatch. The type system is sound. Type checking is decidable. The translation from a source language to EMI preserves types. We believe that EMI is the first typed intermediate language that is expressive enough for describing implementation details of multiple and virtual inheritance of classes. If you really must have mutiple inheritance... |
Browse archives
Active forum topics
|
Recent comments
14 weeks 2 days ago
18 weeks 4 days ago
20 weeks 1 day ago
20 weeks 1 day ago
22 weeks 6 days ago
27 weeks 3 days ago
27 weeks 4 days ago
28 weeks 1 hour ago
28 weeks 1 hour ago
30 weeks 5 days ago