基于类型理论面向对象程序设计

本文提出了一种构造性类型理论ＴＴＯＯＰ，引入了类现规类型和类类型的概念。类是类规约类型的元素，它又是一类型，类的元素为对象。通过证明类可构造类，由此构造面向对象软件。     

基于类型理论的面向对象程序设计

构造性类型理论可作为程序开发的理论基础，其中类型作为程序规约，证明过程作为程序开发过程，从证明抽取满足程序规约的程序．本文提出了一种构造性类型理论ＴＴＯＯＰ，引入了类规约类型和类类型的概念．类是类规约类型的元素，它又是一种类型，类的元素为对象．通过证明类规约可构造类，由此构造面向对象软件．     

基于类型理论的面向对象多步证明系统

介绍基于扩展构造型演算的交互式多步证明系统。该系统中以函数式语言ＭＬ为开发环境，建立了ＥＣＣ的项、规则证明策略和证明管理机制的描述，并引入规约类型、类类型、类和对象的表示，为面向对象的程序规约和定理证明系统的结合进行了一些探索。     

面向对象方法中的类型概念

本文讨论了面向对象方法中非常重要的类型概念，指出对象类型由对象集、状态集、运算集、方法集和约束组成，并进一步阐述了对象类型的层次结构、对象的动态类型集和静态类型、对象方法的封闭性以及对象方法的动态定连等问题，为进一步的研究奠定了基础。     

面向对象的程序设计语言中的强类型问题

本文以笔者近年来设计并实现的面向对象的程序设计语言为基础,讨论了我们在面向对象的程序设计语言中处理强类型问题的设计方法和实现技术.     

面向对象数据模型的研究

由于面向对象技术缺乏坚实的理论基础，因而在早期的各种面向对象数据模型中对对象概念的表达和使用都有差异。本文研究了以往提出的多种面向对象数据模型，讨论了对象、类型继承和方法等基本面向对象概念在这些模型中的表达和使用，说明了面向对象数据模型研究中尚待解决的问题，为进一步研究面向对象数据模型的形式化理论奠定基础。     

面向对象逻辑语言LKO的类型系统

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统，在谓词声明中，类型由有序的构子构造而成，子句中变量类型由类型推理决定，对象类型由方法声明决定，独立于便于代码复用，它可作为基类型参与项类型构造。     

基于类型理论的继承机制的研究

本文提出了基于构造性类型理论的一种面向对象类型理论中的继承机制,认为类是类规约类型的元素,而且类也是一种类型,继承是类规约和程序开发过程的重用机制.本文提出的理论可用于面向对象程序自动化的研究.     

类型理论和程序设计

一、类型理论的起源与发展类型理论的基本思想和方法学基础来源于哲学中的归类(classification)方法,即把具有共同特点的类集合成超类的思维过程和方法。归类是形成概念的先决条件之一,分类方法在认识和实践活动中有广泛的应用。例如生物学中的分类范畴典型体现了类型分化     

一种面向对象程序自动化方法的研究

构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作，本文重点讨论了开发这些操作的方法.     

面向对象机器人离线编程系统的设计准则

从机器人系统的结构行为特点出发，讨论机器人离线编程系统面向对象的设计准则和系统组成对象的设计衡量准则，阐述了面向对象方法用于研制和开发这种系统的优越性和不足之处，给出了面向对象的机器人离线编程系统的基本结构，并最终实现了面向对象的离线编程系统ＨＯＬＰＳＳ。     

并发面向对象程序设计语言研究与进展

随着面向对象程序设计的普及和对并发应用程序需求的增加，并发面向对象程序设计语言的设计日益成为研究热点。     

一个基于机群系统的面向对象并行程序 开发环境的研究与实现

面向对象程序设计技术可以降低并行程序设计的复杂性,提高并行程序的可读性、可维护性、可移植性.因此提供面向对象的并行程序设计环境,可以减少并行程序开发难度,有效地利用并行计算机系统的潜能.可扩展并行机群系统是随着网络技术迅速发展而出现的一种网络并行计算系统.其主要特点是适于粗粒度任务并行,适于采用消息传递机制.文中在可扩展机群系统上实现了面向对象的并行程序开发环境ParaObject,它由对象平台、并行对象和邮件对象组成,并行程序以并行对象为单位并行执行,通过邮件对象传送数据,具有良好的封装性和可移植性,友好的用户编程接口,使用方便.     

基于对象的逻辑设计实现复杂性

ＬＣＰＰ是作者研制的逻辑与对象结合的多范式语言,由于采用以对象为基础、扩充对象的逻辑特征而实现结合,逻辑程序设计就继承了面向对象的继承性、多态性和动态约束的特性,加这对象集合中搜索的进行,大大提高了逻辑搜索实现的复杂性。本文提出并讨论了这一复杂性的表现与解决的方法。     

传统程序设计语言的面向对象扩充的若干技术

本文论述用转换方式实现传统程序设计语言的面向对象扩充，给出了一组关键技术以解决由子类型多态和动态定连所引出的问题，其基本思想是将类和对象类型分开处理，从而避免转换过程中的重复工作．这些技术具有适用性强、功效高的特点，并且在ＰＡＳＣＡＬ语言的面向对象扩充ＮＤＯＯＰ和ＭＯＤＵＬＡ－２语言的面向对象扩充ＮＤＯＯＭ的实现中被采用，效果令人满意.     

演绎的面向对象数据库研究

文中从复杂对象逻辑语言，面向对象逻辑基础及面向对象数据库演量询语言等三个方面研究了一些典型的演绎面向对象数据库的成果，对它们进行了分析和比较，并就目前研究中一些重要的尚待解决的问题作了进一步讨论。     

Ada95与面向对象的程序设计

本文首先分析了Ａｄａ８３对面向对象的程序设计的支持特征，然后对Ａｄａ９５在Ａｄａ８３的基础上所新增加的面向对象设施进行了详细的介绍与讨论。