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 Emi, 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 Emi can be used to faithfully model standard implementation strategies of multiple inheritance for C++, the most widely-used programming language with general multiple inheritance.
展开▼
机译:保留类型的编译可以通过生成可以独立于编译器进行验证的代码来提高软件的可靠性。对于具有多重继承的语言,不存在实用的类型保留编译。本文介绍了E mi SUB>,这是第一种类型的中间语言,可支持具有完全通用的多重继承的编程语言的实际编译。本文通过展示E mi SUB>可以证明Emi的实用性,可以证明E mi SUB>可以忠实地建模C ++的多重继承的标准实现策略,C ++是使用最广泛的具有通用多重继承的编程语言。
展开▼