共查询到20条相似文献，搜索用时 8 毫秒
1.
面向对象程序设计语言的有效实现是一个重要的研究课题.类型系统是编译代码优化的前提.本文以Smalltalk语言为背景,讨论了一个类型系统及其类型检查方式,即静态附类型——动态检查。这个类型系统不仅提供了编译优化信息,还保持了动态约束带来的系统灵活性。 相似文献
2.
针对面向对象技术中由于多态等机制导致的类型不安全问题,提出一种解决方案－自然类型检查。该方法对面向对象程序设计中的变量进行类型安全检查,发现由多态、强制类型转换等机制引入的不安全因素,保证程序的正确执行。以Java为描述语言,详细介绍了该方法,并与传统的类型检查进行了比较。 相似文献
3.
面向对象设计及程序设计将帮助人们创建和管理日益复杂的软件系统。本文解释了对象模型与传统模型的差别，给出了对象模型的基本概念，并探讨了它对未来系统的影响。 相似文献
4.
利用面向对象的程序设计的特性，提出一种维护性和专用性均好的矩阵运算类模块、为控制系统仿真程序的设计提供了良好的接口。 相似文献
5.
6.
7.
本给出了面向对象语言中类和方法名快速动态结合的一种方法。同时给出了利用SPOOL抽象机语言来实现用方法名进行动态结合的过程。 相似文献
8.
9.
10.
本文给出了面向对象语言中类和方法名快速动态结合的一种方法 ,同时给出了利用 SPOOL抽象机语言来实现用方法名进行动态结合的过程 相似文献
11.
12.
面向对象程序设计是９０年代兴起的一种软件设计方法，为解决当今的软件危机开辟了一条级有为有效的途径。本文就面向对象程序设计这一技术的特征及其优点进行了讨论，同时对这一技术在实现方面存在的问题进行了探讨。 相似文献
13.
本文对程序设计中的面向过程语言和面向对象语言进行了分析,对两种设计语言的特性作了较详细比较。 相似文献
14.
C语言面向对象机制的底层实现 总被引：2，自引：0，他引：2
本文在剖析实践的基础上,对面向对象语言Ｃ＋＋中体现封装性,继承性,多态性的诸多机制的底层实现进行了探讨,其中重点讨论了类,对象,虚函数,单一继承,多重继承,虚基类,构造函数和析构造函数等在底层的实现方法和工作原理,力图从一个新的角度认识Ｃ＋＋。 相似文献
15.
16.
ＯＯＺＳ类型检查器是ＯＯＺＳ规格说明的一种检查程序,它可以找出用户编写的ＯＯＺＳ规格说明中出现的语法错误以及类型操作的不一致错误,并能够自动定位错误,本文介绍了ＯＯＺＳ类型检查器的设计与实现。 相似文献
17.
蔡慧萍 《江西科技师范学院学报》1997,(4):86-87
面向对象的程序设计的三大支柱蔡慧萍计算机作为现代科学的产物已深入人类社会的各个领域，随着这种深入程度的日益加强，人类对计算机软硬件的要求也愈来愈高。从１９４６年第一台计算机产生以来计算机的硬件的发展可谓迅猛，而软件发展却显得有些疲软。在软件开发过程中... 相似文献
18.
马希荣 《宁夏大学学报(自然科学版)》1996,17(A09):75-78
面向对象的数据库是面向技术和数据库技术相结合的产物，它的模型优于关系模型，文章对面向对象数据库，并系数据库和面向对象语言进行了比较，并讨论了面向对象数据库的发展趋势。 相似文献
19.
论述了目前的软件开发中存在的两个问题：①现有的高级语言对各种高级计算模型支持的不足;②快速原型开发和高质量产品开发之间的矛盾,针对上问题,设计了一种新的面向对象语言Ｔｒａｎｓｆｒａｍｅ并研制了它的开发环境ＭａｇｉｃＦｒａｍｅ．Ｔｒａｎｓｆｒａｍｅ语言具有的参数化的动态类、名的一般模型、类与函数概念的统一、成员类继承和代理等多种机制为构造各种领域模型提供了有力的支持。基于Ｔｒａｎｓｆｒａｍｅ的开发环 相似文献
20.
图形用户界面在数据库系统中的地位变得越来越重要,这是因为它提高了数据库应用的可用性。图形用户界面的功能与易用性是由基本数据模型的可表达性和复杂度决定的。随着基于功能强大的数据模型（如面向对象数据模型）的新数据库技术的问世,用户界面设计领域又掀起了新的挑战,也提供了新的机会。本文重点对面向对象数据库系统的图形用户界面开发的有关问题作分析讨论。 相似文献