共查询到20条相似文献,搜索用时 46 毫秒
1.
2.
3.
广义继承及其在面向对象程序设计语言中的实现* 总被引:1,自引:0,他引:1
本文给出一种包含多种继承行为的、非常灵活的代码复用机制——广义继承,通过给出其操作语义和一个支持类间子类型关系确认的类机制.为其在面向对象程序设计语言中的实现奠定了基础. 相似文献
4.
本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统.本文在概述了属性文法及其描述语言之后,简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施. 相似文献
5.
本文介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法.集合的引入改善了函数式程序的表达能力,并且为提高程序执行效率创造了条件. 相似文献
6.
7.
8.
状态逻辑型程序设计语言是一种有坚实理论基础,既可描述递归又可描述迭代的高效、实用、新型的纯逻辑式程序设计语言.递归无疑地确保了其计算能力本文证明了仅用状态逻辑的迭代程序就可计算部分递归函数.这就等于证明了,任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算. 相似文献
9.
10.
本文首先对Prolog程序中的错误进行了系统的分类,并对各类错误提出了相应的测试算法.接着介绍了一个面向对象的Prolog程序测试工具的设计与实现. 相似文献
11.
程序变换的一种规范说明方法 总被引:1,自引:0,他引:1
刘宗田 《计算机研究与发展》1998,35(1):87-90
文中给出了一种对程序变换进行分类的方法,提出了适合于更广义程序变换描述的四元组表示,程序变换的一种规范说明方法和规范说明语言的元语言SMOPT。介绍了这一规范说明方法SMOPT在反编译系统OECLER的AB变换器的设计与实现中的应用。 相似文献
12.
形是AutoCAD软件定义的一类特殊图形,是解决特殊符号及汉字输入的基本手段。但由于它必须用特定的编码定义,所以形的生成并不容易。本文在仔细研究形的编码后,提出了形的自动编码方法,并对其算法原理和关键技术作了详细说明。 相似文献
13.
调用图(call graph)分析是进行程序分析、程序理解、软件测试和软件维护的重要基础.目前已提出的调用图生成算法多数是针对面向对象编程;而面向方面编程作为面向对象编程的扩展,还没有比较良好的调用图生成算法.为此,分析了既有的面向对象程序调用图生成算法,讨论了面向方面程序语言(AspectJ为例)的特殊语言元素及其对生成的调用图的影响,从而构筑了面向方面程序调用图的生成算法. 相似文献
14.
15.
针对ADA并发多任务程序的特点,文中提出了一个新的ADA程序动态死锁检测方案,并且在这个理论的基础上实现了一个动态死锁测试工具DDTT。此工具能够正确检测ADA我任务程序由于通信关系不当而的死锁。文中详细介绍了动态死锁测试工具DDTT所依赖的全部概念胶判一规则,以及它的工作原理。 相似文献
16.
网状函数关系数据对象的通用编辑技术 总被引:1,自引:0,他引:1
文中对一类具有网状函数关系的数据对象论述了其交互式的编辑技术,重点讨论了结构化程序设计中对对话框操作方式下网状关系数据对象数据模型的描述、编辑及处理。所述的方法可以实现通用的与应用无关的复杂对象的数据编辑,以增强软件的可重用性。 相似文献
17.
色彩是传递信息的重要媒介。本文根据色度学理论,分析了光与视觉特性,三基色原理与彩色模型。提出了几种用户界面设计中的选色原则和彩色映射实例来解决实际界面的选色问题。 相似文献
18.
19.