| 子类型的指称语义 |
| |
| 引用本文： | 梅宏,黄柏素,张路. 子类型的指称语义[J]. 电子学报, 1999, 27(8): 46-48 |
| |
| 作者姓名： | 梅宏 黄柏素 张路 |
| |
| 作者单位： | 北京大学计算机科学技术系,北京,100871 |
| |
| 基金项目： | 国家教委博士点基金,南京大学计算机软件重点实验室基金 |
| |
| 摘 要： | 继承被认为是面向对象程序设计的重要特征之一，如何解释继承一直是面向对象形式语义研究的难题，本文针对继承关系的一种形式一一对象间行为规范的继承，即类型关系，探讨了其指称语义，基本思想是将予类型关系视为类型强制通过类型强制函数将子类型对象解释父类型域中。
|
| 关 键 词： | 面向对象 指称语义 子类型 类型强制 |
The Denotational Semantics of Subtyping |
| |
| Mei Hong,Huang Baisu,Zhang Lu. The Denotational Semantics of Subtyping[J]. Acta Electronica Sinica, 1999, 27(8): 46-48 |
| |
| Authors: | Mei Hong Huang Baisu Zhang Lu |
| |
| Abstract: | Inheritance is one of the important features of object oriented programming.The explanation of inheritance is always a challenge to the research on formal semantics of object oriented program.In this paper,the denotational semantics of subtyping,a kind of forms of inheritance which describes the inheritance relationship between behavioral specifications of objects,is presented.The basic idea is to view subtyping as type coercion,explaining the objects of subtype into the domain of its supertype by a type coercion function. |
| |
| Keywords: | Object orientation Denotational sementics Subtype Type coercion |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
