面向对象Z的子类型继承和推理规则

王云峰; 李必信; 郑国梁

首页> 中文期刊> 《软件学报》 >面向对象Z的子类型继承和推理规则

面向对象Z的子类型继承和推理规则

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

讨论了COOZ(complete object-oriented Z)中的继承关系,将继承分为增量继承和子类型化继承,并重点讨论了子类型化继承.定义了一种行为子类型化继承,证明了该方法的合理性,并据此定义了COOZ的规约继承及规约继承的推理规则.所讨论的子类型化方法与E.Cusack等人的方法相比,具有可构造性,并且比Liskov等人的方法具有更大的灵活性.

著录项

来源
《软件学报》 |2000年第4期|481-487|共7页
作者
王云峰; 李必信; 郑国梁;
展开▼
作者单位

南京大学计算机软件新技术国家重点实验室;

南京;

210093;

解放军理工大学气象学院;

南京;

211101;

南京大学计算机软件新技术国家重点实验室;

南京;

210093;

南京大学计算机软件新技术国家重点实验室;

南京;

210093;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
形式方法; 面向对象; 继承; 子类型; 形式规约;

相似文献

中文文献
外文文献
专利

1. 面向对象的类型—子类型分析及推理规则 [J] . 李必信 ,王云峰 . 计算机科学 . 1999,第007期
2. 面向对象编程语言关键特性的剖析(三)--继承、运行时类型识别和内联函数 [J] . 许伟 ,褚耀宾 . 电脑编程技巧与维护 . 2004,第001期
3. 面向对象编程语言关键特性的剖析(三)--继承、运行时类型识别和内联函数 [J] . 许伟 ,褚耀宾 . 电脑编程技巧与维护 . 2004,第002期
4. 面向对象数据库类型继承关系的代数模型 [J] . 杨立 . 计算机研究与发展 . 1993,第011期
5. 面向对象语言中继承机制的讨论及选择继承机制 [J] . 柴玉梅 . 郑州大学学报：自然科学版 . 1996,第001期
6. 强类型化面向对象系统中继承问题的研究 [C] . 刘煜 . 中国电子学会电子系统工程分会成立十周年年会 . 1996
7. 子团队类型和子团队平衡性对团队决策质量的影响研究 [A] . 戴延君 . 2016

面向对象Z的子类型继承和推理规则

摘要

著录项

相似文献

相关主题

期刊订阅