论文部分内容阅读
类型系统是研究面向对象技术形式理论基础的重要工具.类型系统λω×≤是一个带高阶子类型关系的多态类型系统,对其性质和范畴论语义模型进行了研究.在此基础上,讨论了如何以类型系统λω×≤为工具,研究对象、类、继承等面向对象技术的基本概念的形式语义.结合类POINT和CPOINT等例子,讨论了基于递归类型和基于存在类型的两种对象表示方法,并对它们的特点进行了总结与比较.