| 对象在类型系统λω×≤中的表示 |
| |
| 引用本文： | 周晓聪,李文军,李师贤.对象在类型系统λω×≤中的表示[J].计算机研究与发展,2003,40(4):517-523. |
| |
| 作者姓名： | 周晓聪 李文军 李师贤 |
| |
| 作者单位： | 中山大学计算机科学系,广州,510275 |
| |
| 基金项目： | 高等学校博士学科点专项科研基金，广东省教育厅软件技术重点实验室项目基金 |
| |
| 摘 要： | 类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 ,并对它们的特点进行了总结与比较
|
| 关 键 词： | 对象表示 递归类型 存在类型 |
| 修稿时间： | 2002年4月22日 |
Object Encoding in Type System λω×≤ |
| |
| ZHOU Xiao Cong,LI Wen Jun,and LI Shi Xian.Object Encoding in Type System λω×≤[J].Journal of Computer Research and Development,2003,40(4):517-523. |
| |
| Authors: | ZHOU Xiao Cong LI Wen Jun and LI Shi Xian |
| |
| Abstract: | |
| |
| Keywords: | object encoding recursive type existential type |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
