The Denotational Semantics of Subtyping

Mei Hong; Huang Baisu; Zhang Lu

您当前的位置：

首页 >

文章列表页 >

The Denotational Semantics of Subtyping

更新时间：2025-12-08

- The Denotational Semantics of Subtyping
- Acta Electronica Sinica Issue 8, (1999)
- 作者机构：
  
  北京大学计算机科学技术系
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311
- Published：1999
- 稿件说明：
移动端阅览
[1]梅宏,黄柏素,张路.子类型的指称语义[J].电子学报,1999(08):47-49.

Mei Hong, Huang Baisu, Zhang Lu. The Denotational Semantics of Subtyping[J]. Acta Electronica Sinica, 1999, (8).
[1]梅宏,黄柏素,张路.子类型的指称语义[J].电子学报,1999(08):47-49. DOI：

Mei Hong, Huang Baisu, Zhang Lu. The Denotational Semantics of Subtyping[J]. Acta Electronica Sinica, 1999, (8). DOI：

摘要

继承被认为是面向对象程序设计的重要特征之一，如何解释继承一直是面向对象形式语义研究的难题．本文针对继承关系的一种形式一一对象间行为规范的继承，即子类型关系，探讨了其指称语义．基本思想是将子类型关系视为类型强制，通过类型强制函数将子类型对象解释父类型域中．

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

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

⁰