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

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

面向对象类型理论的比较研究

人们已提出各种支持面向对象程序设计的类型理论。但每种类型理论的侧重点不足相同，它们均能解决面向对象程序设计的某些方面的问题。本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关于面向对象程序设计的类型理论提供基础。     

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

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

类型理论和程序设计

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

基于类型理论的递归元程序设计

本提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义，递归类型不仅可以表示通常的递归通常的递归数据结构，还可描述一般的递归问题求解，递归证明构造和递归程序构造过程。     

Ada95与面向对象的程序设计

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

面向对象程序设计

本文首先介绍面向对象语言的历史、基本概念与设计方法,然后评述几种面向对象的语言,接着试图通过论述面向对象程序设计与面向过程程序设计的差别来说明这种设计疗法的特点.最后给出这方面的当前状况。     

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

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

对象式逻辑程序设计

本文首先对逻辑程序设计与对象式程序设计进行一些比较，然后介绍对象式逻辑程序设计的基本原理、新进展、应用及目前存在的主要问题。     

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

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

用面向对象的方法实现转炉吹炼控制模型

转炉炼钢过程控制的核心是吹炼终点控制模型，该模型又由三个子模型组成。本文提出了如何用面向对象的程序设计方法来实现它，以充分利用Ｏ－Ｏ方法的继承、封装及消息传递等优点。     

函数式面向对象程序设计语言FOPL

本文介绍函数式面向对象程序设计语言ＦＯＰＬ的设计原则、主要特性及实现等方面的问题。     

面向对象编程与定理证明相结合实现问题自动求解

本文针对一类智能决策支持系统中,基于模型行为仿真以实现解题过程自动化的需要,提出对模型对象行为的一阶谓词演算型表达和面向对象型模型处理过程的形式化体系。将问题自动求解过程转化为逻辑运算过程,通过归结反演求取问题的解。文中给出一个应用实例。     

用面向对象编程实现问题求解自动化

本文从面向对象方法基本原理和面向对象编程的技术特征出发，阐明所建应用软件系统中的对象，类及相应类层次结构和类组合结构，使系统具有很强的表现真空世界复杂系统结构的能力，系统通过消息传递在程序执行中实现对操作的调用机制，使之在面向用户问题选择和执行求解策略方面有很强的适应性，这一点对于强调人－机交互和解题协作的智能决策支持系统设计至关重要，文章给出了用Ｃ＋＋实现的模型对象系统及消息传递机制。     

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

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

面向对象程序设计语言的类型系统

本文引入了面向对象程序设计语言的类的概念,对类及春继承性给出了一种严格的形式化描述。这种形式化描述显然是建立面向对象模型的基础。     

函数式面向对象语言FOPL的指称语义

函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言，本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义。