| 对象类型与对象子类型研究 |
| |
| 引用本文： | 李必信,王云峰,李宣东,郑国梁.对象类型与对象子类型研究[J].计算机应用与软件,2001,18(11):18-20,63. |
| |
| 作者姓名： | 李必信 王云峰 李宣东 郑国梁 |
| |
| 作者单位： | 1. 南京大学计算机科学与技术系,
2. 南京大学 |
| |
| 摘 要： | 本文揭示了对象类型的子类型关系，给出对象子类型的性质及规范，分析了对象子类型关系存在的语法条件，语义条件，充要条件，阐述了对象子类型与程序精化的联系，最后给出对象子类型的推理规则。
|
| 关 键 词： | 程序设计语言 面向对象 对象类型 对象子类型 |
INVESTIGATION TO OBJECT TYPE AND ITS SUBTYPE |
| |
| Li Bixin Wang Yunfeng Li Xuandong.INVESTIGATION TO OBJECT TYPE AND ITS SUBTYPE[J].Computer Applications and Software,2001,18(11):18-20,63. |
| |
| Authors: | Li Bixin Wang Yunfeng Li Xuandong |
| |
| Abstract: | In this paper, subtype relationship between object types, object subtype properties and subtype specification are presented. Grammar condition, semantics condition and sufBcent & necessary condition of all subtypes are also analyzed. On the other hand, the connection between subtype and program refininement is discussed. Finally object subtype inference rules are given. |
| |
| Keywords: | Subtype relationships Subtype specification Object subtype Inference rule |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
