共查询到19条相似文献,搜索用时 62 毫秒
1.
本文提出了一种构造性类型理论TTOOP,引入了类现规类型和类类型的概念。类是类规约类型的元素,它又是一类型,类的元素为对象。通过证明类可构造类,由此构造面向对象软件。 相似文献
2.
面向对象类型理论的比较研究 总被引:3,自引:0,他引:3
人们已提出各种支持面向对象程序设计的类型理论。但每种类型理论的侧重点不足相同,它们均能解决面向对象程序设计的某些方面的问题。本文从对象、类、类型和继承角度,着重分析讨论抽象数据类型、记录演算和对象演算,为进一步研究关于面向对象程序设计的类型理论提供基础。 相似文献
3.
介绍基于扩展构造型演算的交互式多步证明系统。该系统中以函数式语言ML为开发环境,建立了ECC的项、规则证明策略和证明管理机制的描述,并引入规约类型、类类型、类和对象的表示,为面向对象的程序规约和定理证明系统的结合进行了一些探索。 相似文献
4.
5.
6.
Ada95与面向对象的程序设计 总被引:1,自引:2,他引:1
徐宝文 《计算机研究与发展》1997,34(1):58-65
本文首先分析了Ada83对面向对象的程序设计的支持特征,然后对Ada95在Ada83的基础上所新增加的面向对象设施进行了详细的介绍与讨论。 相似文献
7.
本文首先介绍面向对象语言的历史、基本概念与设计方法,然后评述几种面向对象的语言,接着试图通过论述面向对象程序设计与面向过程程序设计的差别来说明这种设计疗法的特点.最后给出这方面的当前状况。 相似文献
10.
面向对象方法中的类型概念 总被引:4,自引:1,他引:4
本文讨论了面向对象方法中非常重要的类型概念,指出对象类型由对象集、状态集、运算集、方法集和约束组成,并进一步阐述了对象类型的层次结构、对象的动态类型集和静态类型、对象方法的封闭性以及对象方法的动态定连等问题,为进一步的研究奠定了基础。 相似文献
12.
13.
转炉炼钢过程控制的核心是吹炼终点控制模型,该模型又由三个子模型组成。本文提出了如何用面向对象的程序设计方法来实现它,以充分利用O-O方法的继承、封装及消息传递等优点。 相似文献
14.
15.
本文针对一类智能决策支持系统中,基于模型行为仿真以实现解题过程自动化的需要,提出对模型对象行为的一阶谓词演算型表达和面向对象型模型处理过程的形式化体系。将问题自动求解过程转化为逻辑运算过程,通过归结反演求取问题的解。文中给出一个应用实例。 相似文献
16.
用面向对象编程实现问题求解自动化 总被引:2,自引:0,他引:2
本文从面向对象方法基本原理和面向对象编程的技术特征出发,阐明所建应用软件系统中的对象,类及相应类层次结构和类组合结构,使系统具有很强的表现真空世界复杂系统结构的能力,系统通过消息传递在程序执行中实现对操作的调用机制,使之在面向用户问题选择和执行求解策略方面有很强的适应性,这一点对于强调人-机交互和解题协作的智能决策支持系统设计至关重要,文章给出了用C++实现的模型对象系统及消息传递机制。 相似文献
17.
面向对象的程序设计语言中的强类型问题 总被引:1,自引:0,他引:1
本文以笔者近年来设计并实现的面向对象的程序设计语言为基础,讨论了我们在面向对象的程序设计语言中处理强类型问题的设计方法和实现技术. 相似文献
18.
面向对象程序设计语言的类型系统 总被引:2,自引:0,他引:2
本文引入了面向对象程序设计语言的类的概念,对类及春继承性给出了一种严格的形式化描述。这种形式化描述显然是建立面向对象模型的基础。 相似文献
19.
函数式面向对象语言FOPL的指称语义 总被引:1,自引:0,他引:1
函数式面向对象程序设计语言FOPL是笔者设计并实现的一种合成语言,本文在一个全称的抽象域上描述了FOPL语言的指称语义。 相似文献