-
题名ND-Polya类比实现技术
被引量：3
- 1
-
-
作者
马晓星
唐宝
陶先平
伊波
吕建
-
机构
南京大学计算机软件新技术国家重点实验室
南京大学计算机软件研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1999年第6期695-704,共10页
-
基金
国家自然科学基金
国家杰出青年科学基金
江苏省青年基金
-
文摘
从认识论和方法论的角度来看，分类不是认识事物解决问题的唯一方法，类比同样十分重要．然而传统的继承只体现分类的方法．自行设计的面向对象语言ＮＤ－Ｐｏｌｙａ通过引入新的继承机制——柔性继承来支持类比方法．使用柔性继承机制，程序员能以描述事物或问题间相似性的方式进行软件开发．文中简要介绍了ＮＤ－Ｐｏｌｙａ的柔性继承设施，并在此基础上具体地讨论了该机制的类比实现技术．
-
关键词
柔性继承
nd-polya
类比
JAVA语言
程序设计
-
Keywords
soft inheritance, ND Polya,analogy,implementation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名ND-Polya中协变-反变问题的处理方法
- 2
-
-
作者
唐宝
马晓星
陶先平
吕建
-
机构
南京大学计算机软件新技术国家重点实验室
南京大学计算机软件研究所南京
-
出处
《计算机学报》
EI
CSCD
北大核心
1999年第9期953-957,共5页
-
基金
国家自然科学基金
国家杰出青年科学基金
江苏省青年基金
-
文摘
协变－反变问题讨论面向对象语言中继承机制和多态计算的关系，是当前面向对象程序设计语言中的一个重要的理论问题．反变的方法重定义不符合思维习惯，一般采用协变精化的设计方法．但抛弃反变后的面向对象程序设计，在多态计算中会产生类型问题．针对这一问题，该文基于Ｃａｓｔａｇｎａ 的重载函数模型，提出处理协变相关类型问题的类型系统和计算模型，并在ＮＤ－Ｐｏｌｙａ 语言及系统中具体实现．该方法可以应用到其它协变面向对象语言中．
-
关键词
面向对象
nd-polya语言
协变-反变问题
-
Keywords
OOPL,covar contravariance, type.
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名柔性继承支撑系统ND—Polya的设计与实现
- 3
-
-
作者
唐宝
马晓星
-
机构
南京大学计算机软件新技术国家重点实验室
-
出处
《南京大学学报（自然科学版）》
CAS
CSCD
1999年第5期573-581,共9页
-
基金
国家自然科学基金
国家杰出青年科学基金
江苏省青年基金
-
文摘
继承是面向对象程序设计中的一个重要机制。但是，当程序员需要调整已有类并将其应用到类似的应用中，继承机制就不能支持这类程序员的需要。为了解决这一问题，我们结合类比和继承，提出了一种新的机制：柔性继承。该机制允许对类中属性进行删除和重定义。更重要的是，允许定义类之间的相似性，进行方法间的类比推导，实现对方法以及算法的复用。描述了对柔性继承的规约语言机制和推理系统有具体设计和实现。
-
关键词
面向对象
柔性
程序设计
继承支撑系统
nd-polya
-
Keywords
analogy, analogical derivation, object oriented paradigm, inheritance, soft_inheritance
-
分类号
TP311.11
[自动化与计算机技术—计算机软件与理论]
-
