|
|||||
|
|
| 继承的一个数学模型 | |
| 引用本文： | 瞿裕忠,王志坚,徐家福.继承的一个数学模型[J].中国科学A辑,1995,38(11):1219-1225. |
| 作者姓名： | 瞿裕忠 王志坚 徐家福 |
| 作者单位： | 南京大学计算机软件研究所 南京 210093 |
| 摘 要： | 提出了继承的一个数学模型,引入图序类别型构用来表示面向对象语言中程序的代数结构,将继承的形式语义刻划为图序类别型构集上的延拓函数。通过该数学模型,程序之代数结构的性质能反映语言的语法约束,延拓函数的性质能揭示语言中继承的特点. |
| 关 键 词： | 面向对象 继承 代数结构 图序类别型构 延拓 |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 | |
| 点击此处可从《中国科学A辑》下载全文 | |
