广义继承及其在面向对象程序设计语言中的实现

摘要

本文给出一种包含多种继承行为的，非常灵活的代码复用机制－广义继承，通过给出其操作语义和一个支持类间子类型关系确认的类机制，为其在面向对象程序设计语言中的实现奠定了基础。