| 面向对象类型理论的比较研究 |
| |
| 引用本文： | 全炳哲 玄顺姬. 面向对象类型理论的比较研究[J]. 计算机研究与发展, 1997, 34(10): 736-741 |
| |
| 作者姓名： | 全炳哲 玄顺姬 |
| |
| 作者单位： | [1]吉林大学计算机科学系 [2]吉林大学计算机系 |
| |
| 基金项目： | 国家自然科学基金,国家“863”计划 |
| |
| 摘 要： | 人们已提出各种支持面向对象程序设计的类型理论。但每种类型理论的侧重点不足相同，它们均能解决面向对象程序设计的某些方面的问题。本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关于面向对象程序设计的类型理论提供基础。
|
| 关 键 词： | 类型理论 面向对象 程序设计 形式化方法 |
ON TYPE THEORY FOR OBJECT ORIENTED PROGRAMMING |
| |
| QUAN Bing Zhe JIN Chun Zhao. ON TYPE THEORY FOR OBJECT ORIENTED PROGRAMMING[J]. Journal of Computer Research and Development, 1997, 34(10): 736-741 |
| |
| Authors: | QUAN Bing Zhe JIN Chun Zhao |
| |
| Abstract: | Many type theories for object oriented programming have been proposed. The focuses of each type theory, however, are different and each theory can solve certain kinds of problems of object oriented programming. In order to provide the foundation for further study of type theories for object oriented programming, this paper introduces and compares aBSTRACT data type theory, record calculus and object calculus from the view point of object, class, type and inheritance. |
| |
| Keywords: | type theory object oriented programming formal method |
| 本文献已被 CNKI 维普 等数据库收录！ |
