Abstract
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type preserving compilation does not exist for languages with multiple inheritance. This paper presents E
mi
, the first typed intermediate language to support practical compilation of a programming language with fully general multiple inheritance. The paper demonstrates the practicality of Emi by showing that E
mi
can be used to faithfully model standard implementation strategies of multiple inheritance for C++, the most widely-used programming language with general multiple inheritance.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference14 articles.
1. A Typeful Approach to Object-Oriented Programming with Multiple Inheritance
2. A simple typed intermediate language for object-oriented languages
3. Higher-order intersection types and multiple inheritance
4. J. Gray. C++: under the hood. http://msdn.microsoft.com/archive/ default.asp? url=/archive/en-us/dnarvc/html/jangrayhood.asp.]] J. Gray. C++: under the hood. http://msdn.microsoft.com/archive/ default.asp? url=/archive/en-us/dnarvc/html/jangrayhood.asp.]]