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
16 weeks 1 day ago
20 weeks 2 days ago
22 weeks 3 hours ago
22 weeks 4 hours ago
24 weeks 5 days ago
29 weeks 2 days ago
29 weeks 2 days ago
29 weeks 5 days ago
29 weeks 5 days ago
32 weeks 4 days ago