ClassInheritanceFormalization 相关硕士博士期刊学术论文

本文引入了面向对象程序设计语言的类的概念，对类及春继承性给出了一种严格的形式化描述。这种形式化描述显然是建立面向对象模型的......